Interpolation and SAT-Based Model Checking-Reference-Cited by-同舟云学术

Interpolation and SAT-Based Model Checking

Published:2003 Issue: Volume: Page:1-13
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

McMillan K. L.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-45069-6_1

Reference26 articles.

1. Artho, C., Biere, A., Schuppan, V.: Liveness checking as safety checking. In: Formal Methods for Industrial Critical Systems (FMICS 2002) (July 2002)

2. Lecture Notes in Computer Science;P.A. Abdulla,2000

3. Lecture Notes in Computer Science;J. Baumgartner,2002

4. Lecture Notes in Computer Science;A. Biere,1999

5. Bjesse, P.: Symbolic model checking with sets of states represented as formulas. Technical Report CS-1999-100, Department of Computer Science, Chalmers technical university (March 1999)

Cited by 342 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Software Verification with CPAchecker 3.0: Tutorial and User Guide;Lecture Notes in Computer Science;2024-09-13

2. Nonlinear Craig Interpolant Generation Over Unbounded Domains by Separating Semialgebraic Sets;Lecture Notes in Computer Science;2024-09-11

3. Reachability Analysis for Multiloop Programs Using Transition Power Abstraction;Lecture Notes in Computer Science;2024-09-11

4. Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

5. A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification;Proceedings of the ACM on Software Engineering;2024-07-12