Sandip Ray

Available identifiers

zbMath Open ray.sandipWikidataQ102357717 ScholiaQ102357717MaRDI QIDQ540689

List of research outcomes

Publication	Date of Publication	Type
Specification and verification of concurrent programs through refinements	2015-06-23	Paper
Mechanical certification of loop pipelining transformations: a preview	2014-09-08	Paper
The right tools for the job: correctness of cone of influence reduction proved using ACL2 and HOL4	2011-06-03	Paper
Scalable Techniques for Formal Verification	2010-03-10	Paper
Formal verification for high-assurance behavioral synthesis	2009-12-01	Paper
Integrating external deduction tools with ACL2	2009-03-25	Paper
Efficient execution in an automated reasoning environment	2008-01-18	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Computer Aided Verification	2005-08-25	Paper

Research outcomes over time

This page was built for person: Sandip Ray