scientific article; zbMATH DE number 2081113

MaRDI QIDQ4474227zbMATH OpenFDO

Authors Doron Peled, Amir Pnueli, 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

Mathematics Subject Classification ID

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

Cited in

(21)

• Generating model checkers from algebraic specifications
• Certifying reality of projections
• A compositional approach to CTL^* verification
• Withdrawing unfalsifiable hypotheses
• 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
• Mimicking, errors, and the optimal standard of proof
• From complementation to certification
• Falsification and Future Performance
• Gabow SCC
• Towards a notion of unsatisfiable and unrealizable cores for LTL
• scientific article; zbMATH DE number 1744956 (Why is no real title available?)
• 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
• Optimal proofs for linear temporal logic on lasso words
• Certifying rlive: a new proof strategy for liveness model checking
• Falsificationism falsified

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4474227)