scientific article; zbMATH DE number 1956579

MaRDI QIDQ4417920zbMATH OpenFDO

Authors Arie Gurfinkel, Marsha Chechik

Publication date 30 July 2003

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
• scientific article; zbMATH DE number 1982201

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:

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