Author:
Cook Byron,Kroening Daniel,Rümmer Philipp,Wintersteiger Christoph M.
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference33 articles.
1. Lecture notes in computer science;J Alglave,2013
2. Babic D, Hu AJ, Rakamaric Z, Cook B (2007) Proving termination by divergence. In: SEFM. IEEE Press, New York, pp 93–102
3. Lecture notes in computer science;T Ball,2007
4. Lecture notes in computer science;M Benedetti,2005
5. Lecture notes in computer science;A Biere,2005
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Truncating abstraction of bit-vector operations for BDD-based SMT solvers;Theoretical Computer Science;2024-09
2. Neural termination analysis;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07
3. Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors;Computer Aided Verification;2019
4. Trust, Resilience and Interpretability of AI Models;Numerical Software Verification;2019
5. Learning Büchi Automata and Its Applications;Engineering Trustworthy Software Systems;2019