From Model Checking to a Temporal Proof for Partial Models

DOI10.1007/978-3-319-66197-1_4MaRDI QIDQ5194652zbMATH OpenOpenAlexFDO

Authors A. Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi

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)

Recommendations

• scientific article; zbMATH DE number 1744956
• A partial approach to model checking
• Model-checking timed temporal logics
• scientific article; zbMATH DE number 2196601
• Model checking of pushdown systems for projection temporal logic
• Bounded model checking for propositional projection temporal logic
• scientific article; zbMATH DE number 2182497
• Decidability of model checking with the temporal logic EF

Cited in

(14)

• scientific article; zbMATH DE number 2102712 (Why is no real title available?)
• Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
• Parameterisation of three-valued abstractions
• A partial approach to model checking
• Is ``Some-other-time sometimes better than ``Sometime for proving partial correctness of programs?
• Assumption-based runtime verification
• scientific article; zbMATH DE number 1759610 (Why is no real title available?)
• Certifying proofs for SAT-based model checking
• Multi-robot LTL planning under uncertainty
• Farkas certificates and minimal witnesses for probabilistic reachability constraints
• Decidability of model checking with the temporal logic EF
• Integrating topological proofs with model checking to instrument iterative design
• A verification-driven framework for iterative design of controllers
• TOrPEDO : witnessing model correctness with topological proofs

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

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