From Model Checking to a Temporal Proof for Partial Models
From MaRDI portal
Publication:5194652
DOI10.1007/978-3-319-66197-1_4zbMath1420.68118MaRDI QIDQ5194652
Lenore D. Zuck, Paola Spoletini, Carlo Ghezzi, Anna Bernasconi, Claudio Menghi
Publication date: 16 September 2019
Published in: Software Engineering and Formal Methods (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11311/1076519
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints, Integrating Topological Proofs with Model Checking to Instrument Iterative Design, Assumption-based runtime verification, Multi-robot LTL planning under uncertainty, Certifying proofs for SAT-based model checking, TOrPEDO : witnessing model correctness with topological proofs, A verification-driven framework for iterative design of controllers