2004 search results - page 2 / 401 » Comparison of Model Checking Tools for Information Systems |
CAISE
2001
Springer
13 years 9 months ago
2001
Springer
Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems,...
HVC
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
ICPADS
2005
IEEE
13 years 11 months ago
2005
IEEE
This work presents a new comparison-based diagnosis model and a new algorithm, called Hi-Dif, based on this model. The algorithm is used for checking the integrity of systems with...
FTRTFT
1998
Springer
13 years 9 months ago
1998
Springer
CAISE
2010
Springer
13 years 6 months ago
2010
Springer
For enterprises it has become crucial to check compliance of their business processes with certain rules such as medical guidelines or financial regulations. When automating compli...