Integrating Topological Proofs with Model Checking to Instrument Iterative Design
From MaRDI portal
Publication:5039527
DOI10.1007/978-3-030-45234-6_3OpenAlexW3020741357MaRDI QIDQ5039527
Anna Bernasconi, Claudio Menghi, Alessandro Maria Rizzi
Publication date: 13 October 2022
Published in: Fundamental Approaches to Software Engineering (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1811.11123
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Enhancing unsatisfiable cores for LTL with information on temporal relevance
- Data structures for symbolic multi-valued model-checking
- Multi-robot LTL planning under uncertainty
- Certifying proofs for SAT-based model checking
- Dealing with incompleteness in automata-based model checking
- Supporting verification-driven incremental distributed design of components
- A verification-driven framework for iterative design of controllers
- Algorithms for computing minimal unsatisfiable subsets of constraints
- From complementation to certification
- From Under-Approximations to Over-Approximations and Back
- LTL Generalized Model Checking Revisited
- The Complexity of Linear-Time Temporal Logic Model Repair
- From Model Checking to a Temporal Proof for Partial Models
- Verification: Theory and Practice
- Automata, Languages and Programming
- A Scalable Algorithm for Minimal Unsatisfiable Core Extraction
- CONCUR 2003 - Concurrency Theory
- Computer Aided Verification
- Formal Approaches to Software Testing
This page was built for publication: Integrating Topological Proofs with Model Checking to Instrument Iterative Design
