2004 search results - page 9 / 401 » Comparison of Model Checking Tools for Information Systems |
136
click to vote
ER
2008
Springer
15 years 3 months ago
2008
Springer
Due to a turbulent market enterprises should be able to adapt their business processes in a quick and flexible way. This requires adaptive process-aware information systems (PAISs)...
117
click to vote
CONCUR
2006
Springer
15 years 5 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
124
click to vote
TGC
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
129
click to vote
LICS
1990
IEEE
15 years 5 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
133
click to vote
RTSS
1995
IEEE
15 years 5 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...