Searching for authors named "Sandip Ray" – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
A Mechanized Refinement Framework for Analysis of Custom Memories
- …A Mechanized Refinement Framework for Analysis of Custom Memories Sandip Ray University of Texas…
- Add To MetaCart
-
A Generalized Solution for the While Challenge (Extended Abstract)
- … Ray Department of Computer Sciences The University of Texas at Austin Austin, TX 78712. USA sandip…
- Add To MetaCart
-
Towards a Formalization of the X86 Instruction Set Architecture
- …Towards a Formalization of the X86 Instruction Set Architecture Sandip Ray Department of Computer…
- Add To MetaCart
-
Combining Theorem Proving and Model Checking for Certification of Behavioral Synthesis Flows
- … Sandip Ray Department of Computer Sciences University of Texas at Austin Austin, TX 78712 sandip…
- Add To MetaCart
-
Attaching Efficient Executability to Partial Functions in ACL2
- …Attaching Efficient Executability to Partial Functions in ACL2 Sandip Ray Department of Computer…
- Cited by 1 (1 self) – Add To MetaCart
-
A mechanical analysis of program verification strategies
- …A Mechanical Analysis of Program Verification Strategies Sandip Ray (sandip…
- Cited by 1 (1 self) – Add To MetaCart
-
Reducing Invariant Proofs to Finite Search via Rewriting
- …Reducing Invariant Proofs To Finite Search via Rewriting ∗ Rob Sumners Sandip Ray Advanced Micro…
- Cited by 2 (2 self) – Add To MetaCart
-
Proving Invariants via Rewriting and Abstraction
- …Proving Invariants via Rewriting and Abstraction ∗ Rob Sumners Sandip Ray Advanced Micro Devices…
- Cited by 1 (1 self) – Add To MetaCart
-
Verification of an in-place quick-sort in ACL2
- …Verification of an In-place Quicksort in ACL2 Sandip Ray Rob Sumners sandip@(email omitted); robert…
- Cited by 1 (1 self) – Add To MetaCart
-
Abstracting and Verifying Flash Memories
- …Abstracting and Verifying Flash Memories Sandip Ray University of Texas at Austin sandip…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
