Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs.

Kleber S. Xavier, Simone Hanazumi, Ana Cristina Vieira de Melo

Browse the full SEFM paper archive.