Model checking

[Google Scholar] [Wikipedia]

Notes: temporal logic, Kripke structure, Buchi automaton
Papers: jhala:compsurv:2009, clarke:cacm:2009, mcmillan:ecs:2003

todo

https://en.wikipedia.org/wiki/Category:Model_checking

https://en.wikipedia.org/wiki/Widening_(computer_science)


BLAST verifier, Bounded model-checking, Büchi automaton, Case splitting, CPAchecker verifier, Kripke structure, Partial Order Reduction, SAT solver, State merging, Symbolic model checking, Temporal logic