Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. J. Bradfield, C.Stirling. Local Model Checking for Finite State Spaces. LFCS Report Series ECS-LFCS-90-115, June 1990
2. P. Cousot, R. Cousot. Abstract interpretation: A unified Lattice Model for static Analysis of Programs by Construction or Approximation of Fixpoints. In Proceedings 4th POPL, Los Angeles, California, January, 1977
3. E. Clarke, E.A. Emerson, A.P. Sistla. Automatic Verification of Finite State Concurrent Systems using Temporal Logic Specifications: A Practical Approach. In Proceedings 10th POPL'83, 1983
4. R. Cleaveland, J.G. Parrow, B. Steffen. A Semantic-Based Verification Tool for Finite-State-Systems. Protocol Specification, Testing and Verification, IX, Elsevier Science Publications B.V. (North Holland), 287–302, 1990
5. R. Cleaveland, J.G. Parrow, B. Steffen. The Concurrency Workbench. Workshop on Automatic Verification Methods for Finite State Systems, LNCS 407, 1989
Cited by
61 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Challenges of software verification: the past, the present, the future;International Journal on Software Tools for Technology Transfer;2024-08
2. Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules;IEEE Transactions on Software Engineering;2023-07
3. DIME Days (ISoLA 2022 Track Introduction);Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022
4. Generative Program Analysis and Beyond: The Power of Domain-Specific Languages (Invited Paper);Lecture Notes in Computer Science;2021
5. Verified from scratch;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21