scientific article; zbMATH DE number 2081113
From MaRDI portal
Publication:4474227
zbMath1052.68086MaRDI QIDQ4474227
Amir Pnueli, Doron A. Peled, Lenore D. Zuck
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2245/22450292.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (11)
Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints ⋮ Verified Certification of Reachability Checking for Timed Automata ⋮ Integrating Topological Proofs with Model Checking to Instrument Iterative Design ⋮ Towards a notion of unsatisfiable and unrealizable cores for LTL ⋮ A self-certifying compilation framework for WebAssembly ⋮ A compositional approach to CTL\(^*\) verification ⋮ Vacuity in practice: temporal antecedent failure ⋮ 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:
