formal methods

A mathematically rigorous technique for the specification, development, and verification of software systems.