Compositional Reasoning in Model Checking-Reference-Cited by-同舟云学术

Compositional Reasoning in Model Checking

Published:1998 Issue: Volume: Page:81-102
ISSN:0302-9743
Container-title:Compositionality: The Significant Difference
language:
Short-container-title:

Author:

Berezin Sergey,Campos Sérgio,Clarke Edmund M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-49213-5_4

Reference27 articles.

1. Henrik R. Andersen. Partial model checking (extended abstract). Technical Report ID-TR: 1994-148, Department of Computer Science, Technical University of Denmark, October 1994. Accepted for LICS’95.

2. Henrik R. Andersen, Colin Stirling, and Glynn Winskel. A compositional proof system for the modal μ-calculus. In Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, pages 144–153, Paris, France, 4–7 July 1994. IEEE Computer Society Press. Also as BRICS Report RS-94-34.

3. S. Berezin, E. Clarke, S. Jha, and W. Marrero. Model checking algorithms for the mu-calculus. Technical Report TR CMU-CS-96-180, Carnegie Mellon University, September 1996.

4. M. C. Browne, E. M. Clarke, and O. Grumberg. Characterizing finite kripke structures in prepositional temporal logic. Theoretical Computer Science, 59(1-2), July 1988.

5. R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8):677–691, August 1986.

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

1. Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution);Lecture Notes in Computer Science;2024

2. An Enhanced Interface-Based Probabilistic Compositional Verification Approach;Lecture Notes in Computer Science;2023-12-19

3. Empirical study on security verification and assessment of neural network accelerator;Microprocessors and Microsystems;2023-06

4. Eliminating Excessive Dynamism of Dataflow Circuits Using Model Checking;Proceedings of the 2023 ACM/SIGDA International Symposium on Field Programmable Gate Arrays;2023-02-12

5. A Review on Human–Machine Trust Evaluation: Human-Centric and Machine-Centric Perspectives;IEEE Transactions on Human-Machine Systems;2022-10