Dealing with incompleteness in automata-based model checking

DOI10.1007/978-3-319-48989-6_32MaRDI QIDQ2281650zbMATH OpenOpenAlexFDO

Authors Claudio Menghi, Paola Spoletini, Carlo Ghezzi

Publication date 3 January 2020

Full work available at URL https://doi.org/10.1007/978-3-319-48989-6_32

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal Methods in Computer-Aided Design
• scientific article; zbMATH DE number 1487867
• Model-checking view-based partial specifications
• Software model checking
• scientific article; zbMATH DE number 1633145

Cited in

(8)

• Multi-robot LTL planning under uncertainty
• TOrPEDO : witnessing model correctness with topological proofs
• A verification-driven framework for iterative design of controllers
• Incompleteness of states w.r.t. traces in model checking
• scientific article; zbMATH DE number 1487867 (Why is no real title available?)
• Integrating topological proofs with model checking to instrument iterative design
• Formal Methods in Computer-Aided Design
• Formal Approaches to Software Testing

This page was built for publication: Dealing with incompleteness in automata-based model checking

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