Book review of: E. M. Clarke (ed.) et al., Handbook of model checking

DOI10.1007/s00165-019-00486-zzbMath1435.00030OpenAlexW2953315080WikidataQ127657758 ScholiaQ127657758MaRDI QIDQ2322309

Yanyan Li

Publication date: 4 September 2019

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-019-00486-z

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00) External book reviews (00A17)

Cites Work

• Decision procedures. An algorithmic point of view
• Decidability of Parameterized Verification
• Unnamed Item
• Unnamed Item

This page was built for publication: Book review of: E. M. Clarke (ed.) et al., Handbook of model checking