Memory-efficient tactics for randomized LTL model checking

DOI10.1007/978-3-319-72308-2_10MaRDI QIDQ1630037zbMATH OpenOpenAlexFDO

Authors Sean Sedwards, Kim G. Larsen, Doron Peled

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

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

Recommendations

• scientific article; zbMATH DE number 1884415
• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Flash memory efficient LTL model checking
• Model Checking Software

Cited in

(6)

• Tools and Algorithms for the Construction and Analysis of Systems
• Flash memory efficient LTL model checking
• scientific article; zbMATH DE number 1884415 (Why is no real title available?)
• Random walk based heuristic algorithms for distributed memory model checking
• scientific article; zbMATH DE number 7365811 (Why is no real title available?)
• Bounded rational search for on-the-fly model checking of LTL properties

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1630037)