Liveness checking as safety checking for infinite state spaces
From MaRDI portal
Publication:2852018
Recommendations
- Infinite-state liveness-to-safety via implicit abstraction and well-founded relations
- scientific article; zbMATH DE number 177518
- Computer Science Logic
- A lattice-theoretic characterization of safety and liveness
- On reachability and safety in infinite-state systems
- Local model checking for infinite state spaces
- scientific article; zbMATH DE number 1746451
- scientific article; zbMATH DE number 1499079
- Automated Technology for Verification and Analysis
Cited in
(12)- Liveness by Invisible Invariants
- From liveness to promptness
- Survey on Directed Model Checking
- On relative and probabilistic finite counterability
- Infinite-state liveness-to-safety via implicit abstraction and well-founded relations
- scientific article; zbMATH DE number 1903348 (Why is no real title available?)
- Handling liveness properties in (\(\omega\)-)regular model checking
- Parity to safety in polynomial time for pushdown and collapsible pushdown systems
- Linear temporal logic symbolic model checking
- Automata-Theoretic Model Checking Revisited
- Simulating liveness by reduction strategies
- A unifying view on SMT-based software verification
This page was built for publication: Liveness checking as safety checking for infinite state spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852018)
