- International Journal on Software Tools for Technology (2005) DOI 10.1007/s10009-005-0202-0
- DOI 10.1007/s00165-009-0110-2 Formal Aspects of Computing
- Dynamic Cutoff Detection in Parameterized Concurrent Programs
- Ranking Function Synthesis for Bit-Vector Relations
- Symbolic Counter Abstraction for Concurrent Software
- Race Analysis for SystemC using Model Checking NICOLAS BLANC
- Form Methods Syst Des DOI 10.1007/s10703-010-0096-7
- Interpolating Quantifier-Free Presburger Arithmetic Daniel Kroening1
- Strengthening Properties using Abstraction Refinement
- Fixed Points for Multi-Cycle Path Detection Vijay D'Silva
- This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Word Level Predicate Abstraction and Refinement
- Race Analysis for SystemC using Model Checking Nicolas Blanc
- VCEGAR: Verilog CounterExample Guided Abstraction Refinement
- A First Step Towards a Unified Proof Checker for QBF
- An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits
- Model Checking with Abstraction for Web Services
- Lifting Propositional Interpolants to the Word-Level Daniel Kroening
- Accurate Theorem Proving for Program Verification
- Termination Analysis with Compositional Transition Invariants
- A Proposal for a Theory of Finite Sets, Lists, and Maps for the SMT-Lib Standard
- Automatic Analysis of Scratch-pad Memory Code for Heterogeneous Multicore Processors
- Test-Case Generation for Embedded Simulink via Formal Concept Analysis
- An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic
- Loop summarization and termination analysis Aliaksei Tsitovich1
- Image Computation and Predicate Refinement for RTL Verilog using Word Level Proofs
- Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic
- Strengthening Induction-Based Race Checking with Lightweight Static Analysis
- Counterexample Guided Abstraction Refinement via Program Execution
- BOOM: Taking Boolean Program Model Checking One Step Further
- Coverage in Interpolation-based Model Checking Hana Chockler
- International Symposium on Information Theory and its Applications, ISITA2008 Auckland, New Zealand, 7-10, December, 2008
- ExpliSAT: Guiding SAT-Based Software Verification with Explicit States
- Over-Approximating Boolean Programs with Unbounded Thread Creation
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Model Checking Concurrent Linux Device Drivers Thomas Witkowski
- Scoot: A Tool for the Analysis of SystemC Models
- Formal Verification at Higher Levels of Abstraction Daniel Kroening
- Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers
- SCRATCH: a Tool for Automatic Analysis of DMA Races Alastair F. Donaldson Daniel Kroening Philipp Rummer
- Interpolation-based Software Verification with Daniel Kroening1
- Linear Completeness Thresholds for Bounded Model Checking
- Making Software Verification Tools Really Work Jade Alglave, Alastair F. Donaldson, Daniel Kroening, and Michael Tautschnig
- Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs
- Numeric Bounds Analysis with Conflict-Driven Learning
