Memory-efficient tactics for randomized LTL model checking

DOI10.1007/978-3-319-72308-2_10zbMath1403.68128OpenAlexW2772710545MaRDI QIDQ1630037

Sean Sedwards, Doron A. Peled, Kim Guldstrand Larsen

Publication date: 7 December 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-72308-2_10

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Randomized algorithms (68W20)

This page was built for publication: Memory-efficient tactics for randomized LTL model checking