The benefits of formal methods have been discussed many timesin the literature. Production costs can be decreased greatly iferrors...