Action-Based Model Checking: Logic, Automata, and Reduction-Reference-Cited by-同舟云学术

Action-Based Model Checking: Logic, Automata, and Reduction

Published:2020 Issue: Volume: Page:77-100
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Siegel Stephen F.^ORCID,Yan Yihao^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-53291-8_6

Reference37 articles.

1. Clarke Jr., E.M., Grumberg, O., Kroening, D., Peled, D., Veith, H.: Model Checking, 2nd edn. MIT press, Cambridge (2018). https://mitpress.mit.edu/books/model-checking-second-edition

2. Courcoubetis, C., Vardi, M., Wolper, P., Yannakakis, M.: Memory-efficient algorithms for the verification of temporal properties. Formal Methods Syst. Des. 1(2), 275–288 (1992). https://doi.org/10.1007/BF00121128

3. Lecture Notes in Computer Science;R De Nicola,1990

4. Lecture Notes in Computer Science;A Duret-Lutz,2016

5. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property specification patterns for finite-state verification. In: Proceedings of the Second Workshop on Formal Methods in Software Practice, FMSP 1998, pp. 7–15. ACM, New York (1998). https://doi.org/10.1145/298595.298598

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

1. Verification Model for Agent Coordination of Distributed Information Systems;2021 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS);2021-09-22

2. Every Component Matters: Generating Parallel Verification Benchmarks with Hardness Guarantees;Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends;2021