scientific article; zbMATH DE number 1744956

zbMath0985.68030MaRDI QIDQ4531749

Doron A. Peled, Lenore D. Zuck

Publication date: 23 May 2002

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

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 (5)

Integrating Topological Proofs with Model Checking to Instrument Iterative Design ⋮ Proving the Refuted: Symbolic Model Checkers as Proof Generators ⋮ Certifying proofs for SAT-based model checking ⋮ TOrPEDO : witnessing model correctness with topological proofs ⋮ From complementation to certification

This page was built for publication: