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
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… 
Review
2001
Review
2001
Principles of Verifiable Rtl Design: A Functional Coding Style Supporting Verification Processes in Verilog
Preface. 1. Introduction. 2. The Verification Process. 3. RTL Methodology Basics. 4. RTL Logic Simulation. 5. RTL Formal… 
Highly Cited
2000
Highly Cited
2000
A robust method to obtain optimal and sub-optimal design and retrofit solutions of water utilization systems with multiple contaminants in process plants
Highly Cited
2000
Highly Cited
2000
Closing of the gender gap in technology enriched science education: a case study
Highly Cited
1993
Highly Cited
1993
Acoustic Echo Cancellation for Stereophonic Teleconferencing
In long‐distance telephony, echoes arise due to impedance mismatches at various points in the telephone circuit. Adaptive line… 
Highly Cited
1992
Highly Cited
1992
Monitoring timing constraints in distributed real-time systems
A run-time environment for monitoring distributed real-time systems is described. In particular, the authors focus on the problem… 
Highly Cited
1988
Highly Cited
1988
Polygyny in the pied flycatcher, Ficedula hypoleuca: a test of the deception hypothesis
Highly Cited
1988
Highly Cited
1988
With Whose Hands: Privatization, Public Employment, and Democracy
Privatization is the public sector analogue of the "runaway shop." In the private sector, the increasing mobility of capital has… 
Review
1982
Review
1982
The role of the cerebellum during motor learning in the vestibulo-ocular reflex: different mechanisms in different species?
Highly Cited
1978
Highly Cited
1978
Naive Attributors' Attributions and Predictions: What Is Informative and When Is an Effect an Effect?
Wells and Harvey (1977) critically evaluated past research that suggested people do not use consensus information when making… 
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)