Spanning the Spectrum from Safety to Liveness

DOI10.1007/978-3-319-24953-7_13zbMath1408.68095OpenAlexW2294537487MaRDI QIDQ3460555

Orna Kupferman, Rachel Faran

Publication date: 8 January 2016

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-24953-7_13

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

On relative and probabilistic finite counterability

This page was built for publication: Spanning the Spectrum from Safety to Liveness