Fault Proof: Using Formal Techniques for Safety Verification and Fault Analysis

Author(s):
Adrian Traskov, Thorsten Ehrenberg, Sacha Loitz, Abdelouahab Ayari, Avidan Efody, and Joseph Hupcey III