Author:
Chaki Sagar,Clarke Edmund M.,Ouaknine Joël,Sharygina Natasha,Sinha Nishant
Publisher
Springer Berlin Heidelberg
Reference47 articles.
1. Anantharaman, T.S., Clarke, E.M., Foster, M.J., Mishra, B.: Compiling path expressions into VLSI circuits. In: Proceedings of POPL, pp. 191–204 (1985)
2. BLAST website, http://www-cad.eecs.berkeley.edu/~rupak/blast
3. Lecture Notes in Computer Science;S. Bensalem,1998
4. Ball, T., Majumdar, R., Millstein, T.D., Rajamani, S.K.: Automatic predicate abstraction of C programs. In: SIGPLAN Conference on Programming Language Design and Implementation, pp. 203–213 (2001)
5. Lecture Notes in Computer Science;T. Ball,2001
Cited by
60 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Compositional Verification in Rewriting Logic;Theory and Practice of Logic Programming;2023-08-31
2. Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect;ACM Transactions on Computational Logic;2023-03-17
3. Introduction;Formal Analysis of Future Energy Systems Using Interactive Theorem Proving;2021-08-14
4. Formal Specification and Model Checking of a Ride-sharing System in Maude;Structured Object-Oriented Formal Language and Method;2020
5. Simulation under Arbitrary Temporal Logic Constraints;Electronic Proceedings in Theoretical Computer Science;2019-12-23