scientific article; zbMATH DE number 1979542
From MaRDI portal
Publication:4427894
zbMath1019.68618MaRDI QIDQ4427894
Dong Wang, Samir Sapra, Helmut Veith, Pankaj Chauhan, James H. Kukula, Edmund M. Clarke
Publication date: 14 September 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2517/25170033.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computer science aspects of computer-aided design (68U07) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (7)
Abstraction and Abstraction Refinement ⋮ Abstraction-Based Algorithm for 2QBF ⋮ Efficient SAT-based bounded model checking for software verification ⋮ An efficient approach for abstraction-refinement in model checking ⋮ Compositional SCC analysis for language emptiness ⋮ Partial predicate abstraction and counter-example guided refinement ⋮ Interpolant Learning and Reuse in SAT-Based Model Checking
Uses Software
This page was built for publication:
