Formally Verifying Data and Control with Weak Reachability Invariants.

Jeffrey X. Su, David L. Dill, Jens U. Skakkebk

Browse the full FMCAD paper archive.