A Framework for Ranking Vacuity Results

DOI10.1007/978-3-319-02444-8_12zbMath1410.68216OpenAlexW1042385570MaRDI QIDQ5166686

Shoham Ben-David, Orna Kupferman

Publication date: 8 July 2014

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-02444-8_12

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (3)

Spanning the spectrum from safety to liveness ⋮ On relative and probabilistic finite counterability ⋮ Timed vacuity

This page was built for publication: A Framework for Ranking Vacuity Results