assertion checker

views updated

assertion checker An automated system for checking whether assertions attached to the text of some program are consistent with the semantics of that program as given by some formal semantic definition of the programming language. See also mechanical verifier.