Publication:4417920
From MaRDI portal
zbMath1031.68079MaRDI QIDQ4417920
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
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Integrating Topological Proofs with Model Checking to Instrument Iterative Design, A state/event-based model-checking approach for the analysis of abstract system properties, 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