Proof-like counter-examples

DOI10.1007/3-540-36577-X_12MaRDI QIDQ4417920zbMATH OpenFDO

Authors Arie Gurfinkel, Marsha Chechik

Publication date 30 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2619/26190160.htm

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Computer Aided Verification
• Explaining counterexamples using causality
• Explaining Counterexamples Using Causality
• Producing explanations for rich logics
• What went wrong: Explaining counterexamples

Cited in

(12)

• Producing explanations for rich logics
• TOrPEDO : witnessing model correctness with topological proofs
• Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking
• Explaining Counterexamples Using Causality
• scientific article; zbMATH DE number 4011966 (Why is no real title available?)
• Explaining counterexamples using causality
• Integrating topological proofs with model checking to instrument iterative design
• Finding Counter Examples in Induction Proofs
• Counterexample Simplification for Liveness Property Violation
• Optimal proofs for linear temporal logic on lasso words
• A state/event-based model-checking approach for the analysis of abstract system properties
• Tracy, traces, and transducers: computable counterexamples and explanations for HyperLTL model-checking

This page was built for publication: Proof-like counter-examples

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