scientific article; zbMATH DE number 1852147

zbMath1002.68511MaRDI QIDQ4787213

O. Shtrichman

Publication date: 9 January 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2144/21440058

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (7)

Exact Incremental Analysis of Timed Automata with an SMT-Solver ⋮ Mining Backbone Literals in Incremental SAT ⋮ Incremental bounded model checking for embedded software ⋮ A framework for satisfiability modulo theories ⋮ Bounded Model Checking with Parametric Data Structures ⋮ Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores ⋮ On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving

This page was built for publication: