Timed vacuity
From MaRDI portal
Publication:2024362
DOI10.1007/978-3-319-95582-7_26zbMath1460.68055OpenAlexW4236014656MaRDI QIDQ2024362
Orna Kupferman, Hana Chockler, Shibashis Guha
Publication date: 4 May 2021
Full work available at URL: https://doi.org/10.1007/978-3-319-95582-7_26
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Cites Work
- Model-checking in dense real-time
- Before and after vacuity
- A theory of timed automata
- Beyond vacuity: towards the strongest passing formula
- “Sometimes” and “not never” revisited
- On the combinational complexity of certain symmetric Boolean functions
- The complexity of probabilistic verification
- The benefits of relaxing punctuality
- A Framework for Ranking Vacuity Results
- Tools and Algorithms for the Construction and Analysis of Systems
- Computer Aided Verification
- Formal Methods in Computer-Aided Design
- Correct Hardware Design and Verification Methods
- Sanity Checks in Formal Verification
- Computer Aided Verification
- Efficient detection of vacuity in temporal model checking
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Timed vacuity
