Towards Effective Model Checking

@inproceedings{Ruys2001TowardsEM,
  title={Towards Effective Model Checking},
  author={Theo C. Ruys},
  year={2001}
}
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

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

01020'00'04'09'14'19
Citations per Year
Semantic Scholar estimates that this publication has 86 citations based on the available data.

See our FAQ for additional information.

References

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

L. ROZEMULLER
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

ROBERT BOSCH GMBH
Mobile Communication Division, • 1996
View 20 Excerpts
Highly Influenced

Software Configuration Management: Coordination for team productivity

W. A. BABICH
Addison-Wesley, Reading, MA • 1986
View 16 Excerpts
Highly Influenced

Design and Validation of Computer Protocols

IU nrUniUURJJnrIJJni, IU nrUniURJJnrIJJniU
2003
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…