Verifying Programs Under Custom Application-Specific Execution Models

Brett Boston, Zoe Gong, Michael Carbin

Researchers have recently designed a number of application-specific fault tolerance mechanisms that enable applications to either be naturally resilient to errors or include additi…