Publication:4553254
From MaRDI portal
zbMath0996.68105MaRDI QIDQ4553254
Publication date: 4 November 2002
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Automated Verification of Parallel Nested DFS, 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, Bounded semantics, Progress in certifying hardware model checking results, A compositional approach to CTL\(^*\) verification, Certifying emptiness of timed Büchi automata, 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, Implementing Spi Calculus Using Nominal Techniques, Automatic Synthesis of Assumptions for Compositional Model Checking