From Model Checking to a Temporal Proof for Partial Models

DOI10.1007/978-3-319-66197-1_4zbMath1420.68118OpenAlexW2742487619MaRDI 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

Mathematics Subject Classification ID

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

Related Items (7)

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

This page was built for publication: From Model Checking to a Temporal Proof for Partial Models