Related Work

Interesting papers

Papers Authors Notes About

Reachability

[Google Scholar]

Notes:
Papers:

Notes related to Reachability

Bounded model-checking

Papers related to Reachability

Software model checking [jhala:compsurv:2009]

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