Principles of model checking
by Christel Baier · first published 2008
2mentions
2recommended by
2HN commenters
2016–2018first – last mentioned
100% recommend
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
…anyone interested in the history of model checking check out Turing Laureate Edmunde Clarke's paper "Birth of Model Checking", if your interested his textbook "Model Checking", and a more recent text is "Principles of Model Checking" by Baier&Katoen.
on “Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us [video]” ↗Formal verification: Principles of model checking (Baier, Katoen) It covers the basics of modeling and verifying concurrent systems against linear-time and branching-time properties. It also mentions timed automata, but those more interested in verifying…
on “Ask HN: What are the best textbooks in your field of expertise?” ↗