Abstract: In software engineering, formal methods are particular mathematically based techniques and tools for the formal specification, model checking, proof, and validation software and hardware ...