Exploiting Symmetry When Model-Checking Software-Reference-Cited by-同舟云学术

Exploiting Symmetry When Model-Checking Software

Published:1999 Issue: Volume: Page:257-275
ISSN:1868-4238
Container-title:IFIP Advances in Information and Communication Technology
language:
Short-container-title:

Author:

Godefroid Patrice

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35578-8_15

Reference24 articles.

1. R.E. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24 (3): 293–318, 1992.

2. E. Clarke, T. Filkorn, and S. Jha. Exploiting symmetry in temporal logic model checking. In Proc. 5th Conference on Computer Aided Verification,volume 697 of Lecture Notes in Computer Science,pages 450–462, Elounda, June 1993. Springer-Verlag.

3. E. M. Clarke and E. A. Emerson. Design and Synthesis of Synchronization Skeletons using Branching-Time Temporal Logic. In D. Kozen, editor, Proceedings of the Workshop on Logic of Programs, Yorktown Heights, volume 131 of Lecture Notes in Computer Science, pages 52–71. Springer-Verlag, 1981.

4. E. M. Clarke, E. A. Emerson, S. Jha, and A. P. Sistla. Symmetry Reductions in Model Checking. In Proc. 10th Conference on Computer Aided Verification,volume 1427 of Lecture Notes in Computer Science,pages 147–158, Vancouver, June/July 1998. Springer-Verlag.

5. R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench: A semantics based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems, 1 (15): 36–72, 1993.

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Regularity and quantification: a new approach to verify distributed protocols;Innovations in Systems and Software Engineering;2022-09-29

2. On Symmetry and Quantification: A New Approach to Verify Distributed Protocols;Lecture Notes in Computer Science;2021

3. Software Model Checking;Computing Handbook, Third Edition;2014-05-08

4. Probabilistic Symmetry Reduction for a System with Ring Buffer;IEICE Transactions on Information and Systems;2011

5. Automatic Symmetry Detection for Promela;Journal of Automated Reasoning;2008-11