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