The appeal of a more rigorous development path for software design has long been obvious: As the software content and complexity of the average project grow, software verification and testing consumes ...