Publisher
Springer Berlin Heidelberg
Reference64 articles.
1. Akers, S.B.: Binary Decision Diagrams. IEEE Trans. on Computers C-27(6), 509–516 (1978)
2. Lecture Notes in Computer Science;N. Amla,2001
3. Birch, J., Clarke, E., MacMillan, K., Dill, D., Hwang, L.: Symbolic Model Checking: 1020 States and Beyond. In: Logic in Computer Science. LICS, pp. 428–439 (1990)
4. Lecture Notes in Computer Science;E. Clarke,1999
5. Ben-Ari, M., Manna, Z., Pnueli, A.: The Temporal Logic of Branching Time. In: Principles of Programming Languages, POPL 1981, pp. 164–176 (1981)
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Methods Adoption in Industry: An Experience Report;Formal Methods for an Informal World;2023
2. Q: A Sound Verification Framework for Statecharts and Their Implementations;Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems;2022-11-29
3. Origins and Development of Formal Methods;Texts in Theoretical Computer Science. An EATCS Series;2022
4. All congruences below stability-preserving fair testing or CFFD;Acta Informatica;2020-05-06
5. Methods and Tools for Policy Analysis;ACM Computing Surveys;2019-11-30