Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs.

Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir

Browse the full LOPSTR paper archive.