422 search results - page 27 / 85 » Model Checking TLA Specifications |
JSS
2006
14 years 9 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
96
Voted
APSEC
2009
IEEE
14 years 7 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
81
Voted
FMCAD
2000
Springer
15 years 1 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
FM
2008
Springer
14 years 11 months ago
2008
Springer
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...
107
click to vote
SEKE
1995
Springer
15 years 1 months ago
1995
Springer
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...