Liveness checking as safety checking for infinite state spaces
From MaRDI portal
Publication:2852018
zbMATH Open1273.68240MaRDI QIDQ2852018FDOQ2852018
Authors: Viktor Schuppan, Armin Biere 
Publication date: 7 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106000557
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
- Survey on Directed Model Checking
- From liveness to promptness
- On relative and probabilistic finite counterability
- Infinite-state liveness-to-safety via implicit abstraction and well-founded relations
- Title not available (Why is that?)
- Handling liveness properties in (\(\omega\)-)regular model checking
- Parity to safety in polynomial time for pushdown and collapsible pushdown systems
- Automata-Theoretic Model Checking Revisited
- Linear temporal logic symbolic model checking
- 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)
