Supporting verification-driven incremental distributed design of components
From MaRDI portal
Publication:2324188
DOI10.1007/978-3-319-89363-1_10zbMath1425.68261MaRDI QIDQ2324188
Claudio Menghi, Carlo Ghezzi, Paola Spoletini, Marsha Chechik
Publication date: 16 September 2019
Full work available at URL: https://doi.org/10.1007/978-3-319-89363-1_10
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic
68N99: Theory of software
Related Items
Integrating Topological Proofs with Model Checking to Instrument Iterative Design, Multi-robot LTL planning under uncertainty, TOrPEDO : witnessing model correctness with topological proofs, A verification-driven framework for iterative design of controllers