Refinement Reflection: Complete Verification with SMT

Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Refinement Reflection: Complete Verification with SMT'. Together they form a unique fingerprint.

Computer Science