Skip to search formSkip to main contentSkip to account menu

Assertion (software development)

Known as: Assertion (computing), Assertion (programming), Assertion failure 
In computer programming, an assertion is a statement that a predicate (Boolean-valued function, a true–false expression) is expected to always be… 
Wikipedia (opens in a new tab)

Related topics

Related topics

45 relations
Assertion definition languageAsynchronous systemAutomatic bug fixingC++

Broader (3)

DebuggingFormal methodsLogic in computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Tensor Products Of C*-algebras
Let A and B be unital, generating linear subspaces of C*algebras & and ®, respectively. If either & or $ is a GCR algebra, then… 
2011
2011
IC3: Where monolithic and incremental meet
IC3 is an approach to the verification of safety properties based on relative induction. It is incremental in the sense that… 
Highly Cited
2006
Highly Cited
2006
CEDA: control-flow error detection through assertions
This paper presents an efficient software technique, control flow error detection through assertions (CEDA), for online detection… 
1999
1999
COFTA : Hardware-Software Co-Synthesis of Heterogeneous Distributed Embedded Systems for Low Overhead Fault Tolerance
Embedded systems employed in critical applications demand high reliability and availability in addition to high performance… 
Review
1994
Review
1994
Specifying and Testing Software Components using ADL
This paper presents a novel approach to unit testing of software components. This approach uses the specification language ADL… 
1990
1990
The Baltic churches and the national revival
The rapid growth of national revival movements in the Baltic republics over the last three years has not been just a political… 
1988
1988
Shifting sectarian boundaries in early Christianity
FROM SECT TO CHURCH Jesus of Nazareth did not pronounce the death of Judaism; nor did he proclaim the birth of a new and separate… 
1976
1976
Strum: Structured Microprogram Development System for Correct Firmware
An approach to the development of correct microprograms is to use the methodologies that have been beneficial in the generation… 
1964
1964
A simply connected 3-manifold is ³ if it is the sum of a solid torus and the complement of a torus knot
It has been shown [6] that any closed, connected, orientable 3manifold can be constructed by removing a finite number, k, of… 
1960
1960
The Concept of Kinship: With Special Reference to Mr. Needham's "Descent Systems and Ideal Language"
The purpose of this paper is not merely to reply to Needham's arguments' and to correct his errors, but also, in the course of… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)