scientific article; zbMATH DE number 1956569
From MaRDI portal
Publication:4417909
zbMATH Open1031.68520MaRDI QIDQ4417909FDOQ4417909
Authors: K. L. McMillan, Nina Amla 
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190002.htm
Title of this publication is not available (Why is that?)
Recommendations
Cited In (27)
- Combining Abstraction Refinement and SAT-Based Model Checking
- Efficient SAT-based bounded model checking for software verification
- Underapproximation for model-checking based on universal circuits
- Resolution proof transformation for compression and interpolation
- Automatic Abstraction for Congruences
- Property-directed incremental invariant generation
- Computer Aided Verification
- Abstract Counterexamples for Non-disjunctive Abstractions
- Title not available (Why is that?)
- Compositional SCC analysis for language emptiness
- Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver
- Efficient combination of decision procedures for MUS computation
- Efficient generation of small interpolants in CNF
- An approach for extracting a small unsatisfiable core
- Interpolation and Model Checking
- SAT-Based Model Checking
- Proof-Guided Underapproximation Widening for Bounded Model Checking
- Transfer of Model Checking to Industrial Practice
- Partial predicate abstraction and counter-example guided refinement
- Faster Extraction of High-Level Minimal Unsatisfiable Cores
- An interpolating theorem prover
- Abstraction and Abstraction Refinement
- Automatic abstraction of equations in a logic of equality
- A unifying view on SMT-based software verification
- Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores
- SMT-based model checking for recursive programs
- Interpolant learning and reuse in SAT-based model checking
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417909)
