Loading…
A method that examines the states and behavior of a formal model to verify whether a contract meets its expected specifications.