Symbolic model checking

[Google Scholar]

Is a kind of: model checking
Notes: BDD
Papers: mcmillan:cav:1998

Model checking: Algorithmic verification and debugging [clarke:cacm:2009]
Software model checking [jhala:compsurv:2009]
Model checking [mcmillan:ecs:2003]

The opinions expressed are my own views and not my employer’s.