1895 search results - page 162 / 379 » Using ATL for Checking Models |
159
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
128
click to vote
CAISE
2010
Springer
15 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...
126
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
130
click to vote
SOCO
2005
Springer
15 years 10 months ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
150
Voted
FAC
2008
15 years 5 months ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...