Formal methods encompass mathematically rigorous techniques for the specification, design and verification of systems in which failure may have severe consequences. By constructing precise models of ...