Towards Effective Model Checking

  title={Towards Effective Model Checking},
  author={Theo C. Ruys},
ions As mentioned above, the state space of a model M together with the property φ to be checked, is generally too big to be checked exhaustively. In order to reduce the state space of the model M, abstractions have to be made. The verification approach requires over approximations of the original model Mv: if the abstract model Mabs is proven to be correct with respect to the (safety) property φ, this should imply that the original model Mv is correct with respect to φas well. Over… CONTINUE READING
Highly Cited
This paper has 86 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 60 extracted citations

Bytecode Verification by Model Checking

Journal of Automated Reasoning • 2003
View 4 Excerpts
Highly Influenced

A high-level model-checking tool for verifying service agreements

Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE) • 2011
View 1 Excerpt

86 Citations

Citations per Year
Semantic Scholar estimates that this publication has 86 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 159 references

An Improvement of McMillan's Unfolding Algorithm

Formal Methods in System Design • 2002
View 20 Excerpts
Highly Influenced

A Complete Finite Prefix for Process Algebra

View 18 Excerpts
Highly Influenced

Specificatie Interface tussen BOS en BESW

versie 1.1 • 1997
View 20 Excerpts
Highly Influenced

The C++ programming language (3. ed.)

View 20 Excerpts
Highly Influenced

The Model Checker SPIN

IEEE Trans. Software Eng. • 1997
View 16 Excerpts
Highly Influenced

Mobile Communication Architecture MCNet Layer Definitions, Services and Protocols, version 1.0 ed

Mobile Communication Division, • 1996
View 20 Excerpts
Highly Influenced

Software Configuration Management: Coordination for team productivity

Addison-Wesley, Reading, MA • 1986
View 16 Excerpts
Highly Influenced

Design and Validation of Computer Protocols

View 17 Excerpts
Highly Influenced

CTIT Technical Report Series

T. C. RUYS. Effective SPIN
Centre for Telematics and Information Technology • 2001
View 7 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…