S. Govindaraju

Verification by approximate forward and backward reachability

David L. Dill, Shankar G. Govindaraju, D. Dill, 1998, 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).

Improved approximate reachability using auxiliary state variables

D. Dill, S. Govindaraju, J. P. Bergmann, 1999, Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361).

Verification by approximate forward and backward reachability

D. Dill, S. Govindaraju, 1998, 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).

Approximate Symbolic Model Checking using Overlapping Projections

David L. Dill, Shankar G. Govindaraju, D. Dill, 1999, SMC@FLoC.

Counterexample-guided choice of projections in approximate symbolic model checking

David L. Dill, Shankar G. Govindaraju, D. Dill, 2000, IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140).