From Model Checking to a Temporal Proof for Partial Models
From MaRDI portal
Publication:5194652
DOI10.1007/978-3-319-66197-1_4zbMATH Open1420.68118OpenAlexW2742487619MaRDI QIDQ5194652FDOQ5194652
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
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)
- Title not available (Why is that?)
- 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
- Assumption-based runtime verification
- Is ``Some-other-time sometimes better than ``Sometime for proving partial correctness of programs?
- Title not available (Why is that?)
- Farkas certificates and minimal witnesses for probabilistic reachability constraints
- Certifying proofs for SAT-based model checking
- Multi-robot LTL planning under uncertainty
- 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)
