1895 search results - page 69 / 379 » Using ATL for Checking Models |
130
Voted
MTV
2003
IEEE
15 years 7 months ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...
123
click to vote
ICALP
1997
Springer
15 years 6 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
112
Voted
BPM
2009
Springer
15 years 9 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...
194
click to vote
DKE
2011
14 years 6 months ago
2011
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...
126
Voted
CONCUR
2000
Springer
15 years 7 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...