Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Ball, T., Rajamani, S.: Bebop: A symbolic model checker for Boolean programs. In: SPIN (2000)
2. Berger, F., Schwoon, S., Suwimonteerabuth, D.: jMoped (2005), http://www.informatik.uni-stuttgart.de/fmi/szs/tools/moped/jmoped/
3. Lecture Notes in Computer Science;A. Bouajjani,2007
4. Lecture Notes in Computer Science;S. Chaki,2006
5. Henzinger, T., Jhala, R., Majumdar, R., Sutre, G.: Lazy abstraction. In: POPL (2002)
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Psym: Efficient Symbolic Exploration of Distributed Systems;Proceedings of the ACM on Programming Languages;2023-06-06
2. Sound sequentialization for concurrent program verification;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
3. Verification of Distributed Systems via Sequential Emulation;ACM Transactions on Software Engineering and Methodology;2022-03-07
4. Static Deadlock Detection in Low-Level C Code;Computer Aided Systems Theory – EUROCAST 2022;2022
5. Inductive sequentialization of asynchronous programs;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06