assertion checker

Related Overviews


'assertion checker' can also refer to...


More Like This

Show all results sharing this subject:

  • Computing


Show Summary Details

Quick Reference

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.

Subjects: Computing.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.