technique to verify whether a program adheres to the formal specification
technique to verify whether a program adheres to the formal specification
a formal method; the process of automatically determining if a program or sub-program satisfies certain requirements; requirements are often specified using logical expressions