Publication:4474227
From MaRDI portal
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
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
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, Proving the Refuted: Symbolic Model Checkers as Proof Generators, Towards a notion of unsatisfiable and unrealizable cores for LTL, A compositional approach to CTL\(^*\) verification, Vacuity in practice: temporal antecedent failure, Certifying proofs for SAT-based model checking, TOrPEDO : witnessing model correctness with topological proofs, A self-certifying compilation framework for WebAssembly, From complementation to certification