Automated Formal Verification of a Software Fault Isolation System.

Matthew Sotoudeh, Zachary Yedidia

Browse the full FMCAD paper archive.