The following pages link to Sandip Ray (Q540689):
Displaying 9 items.
- The right tools for the job: correctness of cone of influence reduction proved using ACL2 and HOL4 (Q540690) (← links)
- Integrating external deduction tools with ACL2 (Q1006728) (← links)
- Specification and verification of concurrent programs through refinements (Q2351261) (← links)
- Mechanical Certification of Loop Pipelining Transformations: A Preview (Q2879278) (← links)
- Formal Verification for High-Assurance Behavioral Synthesis (Q3648710) (← links)
- Scalable Techniques for Formal Verification (Q5187984) (← links)
- Computer Aided Verification (Q5312915) (← links)
- Efficient execution in an automated reasoning environment (Q5437032) (← links)
- Formal Methods in Computer-Aided Design (Q5492967) (← links)
