Combining Theorem Proving and Model Checking through Symbolic Analysis-Reference-Cited by-同舟云学术

Combining Theorem Proving and Model Checking through Symbolic Analysis

Published:2000 Issue: Volume: Page:1-16
ISSN:0302-9743
Container-title:CONCUR 2000 — Concurrency Theory
language:
Short-container-title:

Author:

Shankar Natarajan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-44618-4_1

Reference48 articles.

1. Rajeev Alur and Thomas A. Henzinger. Reactive modules. In Proceedings, 11 th Annual IEEE Symposium on Logic in Computer Science, pages 207–218, New Brunswick, New Jersey, 27–30 July 1996. IEEE Computer Society Press.

2. Lect Notes Comput Sci;S. Bensalem,1992

3. Nikolaj Bjørner, I. Anca Browne, and Zohar Manna. Automatic generation of invariants and intermediate assertions. Theoretical Computer Science, 173(1):49–87, 1997.

4. BCM+92._J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang. Symbolic model checking: 1020 states and beyond. Information and Computation, 98(2):142–170, June 1992.

5. Lect Notes Comput Sci;C. Barrett,1996

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

1. Formal Specification of Dynamic Load-Based Coordinator Selection Algorithm with Recovery in Distributed Systems;Proceedings of Third Doctoral Symposium on Computational Intelligence;2022-11-10

2. Formal Verification of Causal Order-Based Load Distribution Mechanism Using Event-B;Data, Engineering and Applications;2019

3. Proof Assisted Symbolic Model Checking for B and Event-B;Lecture Notes in Computer Science;2016

4. Industrial Application of Formal Models Generated from Domain Specific Languages;Theory and Practice of Formal Methods;2016

5. Proving Global Properties with the Aid of the SIMULINK DESIGN VERIFIER Proof Tool;Formal Methods;2013-03-07