Control-flow guided property directed reachability for imperative synchronous programs.

Xian Li, Klaus Schneider

Browse the full MEMOCODE paper archive.