assertion checker
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.
More From encyclopedia.com
Assert , Skip to main content
assert
as·sert / əˈsərt/ • v. [tr.] state a fact or belief confidently and forcefully: the company asserts that the cuts will no… assertion , assertion •ashen, fashion, passion, ration •abstraction, action, attraction, benefaction, compaction, contraction, counteraction, diffraction, enacti… Axiomatic Semantics , axiomatic •achromatic, acrobatic, Adriatic, aerobatic, anagrammatic, aquatic, aristocratic, aromatic, Asiatic, asthmatic, athematic, attic, autocrati… Computer Program , pro·gram / ˈprōˌgram; -grəm/ (Brit. pro·gramme) • n. 1. a planned series of future events, items, or performances: a weekly program of films the prog… precondition , pre·con·di·tion / ˌprēkənˈdishən/ • n. a condition that must be fulfilled before other things can happen or be done: a precondition for peace. • v. [… Brownshirt , Skip to main content
Brownshirt
Brownshirt •advert, alert, animadvert, assert, avert, Bert, blurt, Burt, cert, chert, concert, controvert, convert, c…
You Might Also Like
NEARBY TERMS
assertion checker