| Publication | Date of Publication | Type |
|---|
Invariant checking for SMT-based systems with quantifiers
ACM Transactions on Computational Logic | 2024-11-12 | Paper |
Synthesizing history and prophecy variables for symbolic model checking
Lecture Notes in Computer Science | 2023-08-17 | Paper |
Eager abstraction for symbolic model checking
Computer Aided Verification | 2023-05-26 | Paper |
Deductive verification in decidable fragments with Ivy
Static Analysis | 2023-05-26 | Paper |
Temporal prophecy for proving temporal properties of infinite-state systems
Formal Methods in System Design | 2021-12-08 | Paper |
\(P^5\): planner-less proofs of probabilistic parameterized protocols
Lecture Notes in Computer Science | 2020-07-07 | Paper |
Interpolation and model checking
Handbook of Model Checking | 2018-07-20 | Paper |
Abstractions from proofs
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
Horn clause solvers for program verification
Fields of Logic and Computation II | 2015-09-22 | Paper |
Relevance heuristics for program analysis
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
Synthesis of circular compositional program proofs via abduction
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
Interpolation and SAT-based model checking.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Abstract Counterexamples for Non-disjunctive Abstractions
Lecture Notes in Computer Science | 2009-11-19 | Paper |
Generalizing DPLL to Richer Logics
Computer Aided Verification | 2009-06-30 | Paper |
Liveness by Invisible Invariants
Lecture Notes in Computer Science | 2009-03-11 | Paper |
Automated assumption generation for compositional verification
Formal Methods in System Design | 2008-07-30 | Paper |
Quantified Invariant Generation Using an Interpolating Saturation Prover
Tools and Algorithms for the Construction and Analysis of Systems | 2008-04-11 | Paper |
Interpolants and Symbolic Model Checking
Lecture Notes in Computer Science | 2008-04-04 | Paper |
Interpolant-Based Transition Relation Approximation
Logical Methods in Computer Science | 2008-04-01 | Paper |
Array Abstractions from Proofs
Computer Aided Verification | 2007-11-29 | Paper |
Automated Assumption Generation for Compositional Verification
Computer Aided Verification | 2007-11-29 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Lazy Abstraction with Interpolants
Computer Aided Verification | 2007-09-05 | Paper |
Combining Abstraction Refinement and SAT-Based Model Checking
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Correct Hardware Design and Verification Methods
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Formal Methods in Computer-Aided Design
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Applications and Theory of Petri Nets 2005
Lecture Notes in Computer Science | 2005-12-14 | Paper |
An interpolating theorem prover
Theoretical Computer Science | 2005-12-06 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2005-08-22 | Paper |
Deciding global partial-order properties
Formal Methods in System Design | 2005-05-17 | Paper |
scientific article; zbMATH DE number 2102700 (Why is no real title available?)
| 2004-09-24 | Paper |
scientific article; zbMATH DE number 2090854 (Why is no real title available?)
| 2004-08-13 | Paper |
scientific article; zbMATH DE number 1956569 (Why is no real title available?)
| 2003-07-30 | Paper |
scientific article; zbMATH DE number 1956571 (Why is no real title available?)
| 2003-07-30 | Paper |
scientific article; zbMATH DE number 1903357 (Why is no real title available?)
| 2003-05-01 | Paper |
Model-checking of correctness conditions for concurrent objects
Information and Computation | 2003-01-14 | Paper |
scientific article; zbMATH DE number 1852158 (Why is no real title available?)
| 2003-01-09 | Paper |
scientific article; zbMATH DE number 1796150 (Why is no real title available?)
| 2002-09-04 | Paper |
scientific article; zbMATH DE number 1670785 (Why is no real title available?)
| 2001-12-17 | Paper |
scientific article; zbMATH DE number 1507203 (Why is no real title available?)
| 2001-03-25 | Paper |
scientific article; zbMATH DE number 1507198 (Why is no real title available?)
| 2000-12-06 | Paper |
scientific article; zbMATH DE number 1507204 (Why is no real title available?)
| 2000-09-14 | Paper |
scientific article; zbMATH DE number 1507205 (Why is no real title available?)
| 2000-09-14 | Paper |
scientific article; zbMATH DE number 1487866 (Why is no real title available?)
| 2000-08-10 | Paper |
A methodology for hardware verification using compositional model checking
Science of Computer Programming | 2000-06-04 | Paper |
scientific article; zbMATH DE number 1507200 (Why is no real title available?)
| 2000-01-01 | Paper |
A structural induction theorem for processes
Information and Computation | 1995-05-28 | Paper |
A technique of state space search based on unfolding
Formal Methods in System Design | 1995-04-10 | Paper |
scientific article; zbMATH DE number 438994 (Why is no real title available?)
| 1993-11-01 | Paper |
Symbolic model checking: \(10^{20}\) states and beyond
Information and Computation | 1992-09-27 | Paper |
scientific article; zbMATH DE number 4180789 (Why is no real title available?)
| 1989-01-01 | Paper |
