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
2001
Highly Cited
2001
Scheduling computations on a software-based router
Recent efforts to add new services to the Internet have increased the interest in software-based routers that are easy to extend… 
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
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
1975
Highly Cited
1975
Proving loop programs
Given a `DO WHILE' program P and a function F on a domain D, the authors investigate the problem of proving (or disproving) if P… 
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)