5015 search results - page 89 / 1003 » Model Checking a Path |
115
Voted
ICWE
2007
Springer
15 years 8 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
136
click to vote
CAV
2000
Springer
15 years 5 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
121
click to vote
SAT
2005
Springer
15 years 7 months ago
2005
Springer
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...
105
click to vote
BPM
2009
Springer
15 years 8 months ago
2009
Springer
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications and o...
150
click to vote
IRI
2008
IEEE
15 years 8 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...