Robert W. Sumners

Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications, 2020

Verifying x86 instruction implementations.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2018

A Toolbox For Property Checking From Simulation Using Incremental SAT (Extended Abstract).

[BibT_eX]

[DOI]

CoRR, 2018

2017

Proof Reduction of Fair Stuttering Refinement of Asynchronous Systems and Applications.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications, 2017

2013

Specification and Verification of Concurrent Programs Through Refinements.

[BibT_eX]

[DOI]

Sandip Ray

J. Autom. Reason., 2013

2008

Efficient execution in an automated reasoning environment.

[BibT_eX]

[DOI]

J. Funct. Program., 2008

2007

Automatic Verification of Arithmetic Circuits in RTL Using Stepwise Refinement of Term Rewriting Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2007

Combining Theorem Proving with Model Checking through Predicate Abstraction.

[BibT_eX]

[DOI]

Sandip Ray

IEEE Des. Test Comput., 2007

2000

Automatic Validation Test Generation Using Extracted Control Models.

[BibT_eX]

[DOI]

Jayanta Bhadra

Proceedings of the 13th International Conference on VLSI Design (VLSI Design 2000), 2000

1999

Improving Witness Search Using Orders on States.

[BibT_eX]

[DOI]

Jayanta Bhadra

Proceedings of the IEEE International Conference On Computer Design, 1999

1998

Lightweight guided random simulation.

[BibT_eX]

[DOI]

Parminder Chhabra

Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998

1997

Hierarchical Specification of System Behavior.

[BibT_eX]

[DOI]