formal method

Software engineering method used to specify, develop, and verify the software through application of a rigorous mathematically based notation and language.