$$2^5$$ Years of Model Checking

DOI10.1007/978-3-662-46823-4_2zbMath1434.68296OpenAlexW770597979MaRDI QIDQ3455051

Qinsi Wang, Edmund M. Clarke

Publication date: 3 December 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46823-4_2

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) History of computer science (68-03)

Related Items (2)

Static analysis and stochastic search for reachability problem ⋮ A decision procedure and complete axiomatization for projection temporal logic

This page was built for publication: $$2^5$$ Years of Model Checking