Definitions for "Assertion"
The act of asserting, or that which is asserted; positive declaration or averment; affirmation; statement asserted; position advanced.
Every proto-thing (or thing) can have a set of machine-checkable checks associated with it, checks that are `true' if an object is such a thing, and `false' otherwise. We call these checks a thing's assertions (following programmer-speak...).
A statement of the correct state of a program at some point, independent of how it does it. Typically, an ASSERTION specifies the result of an operation or an invariant of a design element.
Keywords:  debug, pause, false, unexpectedly, neat
a construct that does nothing if the desired condition is met , but will produce an informative error message for debug purposes if it is not
a debugging tool designed to conditionally pause your code if a fatal error is raised
a neat way of generating an exception if a certain condition is (unexpectedly) false, where the exception provides details about the file and line number of the failure
When an Identity Provider authenticates a user and directs them back to the referring Service Provider, it includes as part of the message an assertion to prove that the user authenticated. See also Identity Provider, Service Provider.
A piece of data produced by a SAML authority regarding either an act of authentication performed on a subject, attribute information about the subject, or authorization data applying to the subject with respect to a specified resource. This Assertion is used in access control and audit trails.
An assertion is data, produced by a SAML authority, constituting a declaration of identity, or attribute information, or authorizations.
In .NET Framework security, helps to make sure that a method has access to a particular resource even if the method's callers do not have the required permission. During a stack walk, if a stack frame asserting the required permission is encountered, a security check for that permission will succeed. Assertions can create security holes and should be used only with extreme caution.
a check for some precondition for a piece of code
a contition that you check at runtime
Keywords:  voh, ref, vol, appendix, potential
The (+side) of a given signal will be at potential Voh while the (-side) of the same signal will be at potential Vol. (ref: section 3.2 and Appendix B)
the act of affirming or asserting or stating something
a general description of something or relation among things
an act which represents that an icon represents the object of an index
a Frame containing three Slots, called LeftReferent , Relation and RightReferent
a special type of integrity constraint and shares the same namespace as other constraints
SEE: Constraint
Maintenance; vindication; as, the assertion of one's rights or prerogatives.
a formula produced by a logic of operation in which the elements of a semantic taxonomy are manipulated
a pair composed of a formula and a set of formulae
a test of an expression
a test on the characters following or preceding the current matching point that does not actually consume any characters
A direct expression of a sender's needs, thoughts, or feelings, delivered in a way that does not attack a receiver's dignity.
a predicate with free channel names, each of which stands for the sequence of values which have been communicated along that channel up to some moment in time
Keywords:  checkpoint, method, placed, body
a checkpoint placed in the body of a method
A particular form of promise which claims to the compiler that the specified goal will always hold. If useful, the compiler may use this information to perform optimisations.
a specification that application developers can rely upon
Keywords:  description, behavior
a description of behavior
a transfer of facts or security information about a subject (name of a person or PC) at a particular time