Glossary

Formal verification

A verification method that expresses contract logic and expected behavior as mathematical statements and uses automated tools to check whether they are consistent.