Skip to search formSkip to main contentSkip to account menu

Correctness (computer science)

Known as: Partial, Correctness, Provably correct 
In theoretical computer science, correctness of an algorithm is asserted when it is said that the algorithm is correct with respect to a… 
Wikipedia (opens in a new tab)

Related topics

Related topics

34 relations
AlgorithmAlgorithmic program debuggingAlloy (specification language)Artifact (software development)

Broader (1)

Theoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2005
Highly Cited
2005
An error model for inter-vehicle communications in highway scenarios at 5.9GHz
The design and evaluation of Inter-Vehicle Communication (IVC) protocols rely much on the accurate and efficient computational… 
Highly Cited
2004
Highly Cited
2004
Genetic algorithms combined with discriminant analysis for key variable identification
Highly Cited
2002
Highly Cited
2002
Development of ceramic mixed potential sensors for automotive application
Highly Cited
2001
Highly Cited
2001
Refined Search Tree Technique for Dominating Set on Planar Graphs 1
We establish a refined search tree technique for the parameterized Dominating Set problem on planar graphs. Here, we are given an… 
Highly Cited
1995
Highly Cited
1995
Bayesian Learning for Neural Networks
Artificial "neural networks" are widely used as flexible models for classification and regression applications, but questions… 
Review
1993
Review
1993
Book Reviews: Statistically-Driven Computer Grammars of English: The IBM/Lancaster Approach
Statistical computational linguistics is entering a consolidation phase, signaled by the appearance of book-length tracts devoted… 
Highly Cited
1985
Highly Cited
1985
Novel method for analysis of printed circuit images
To keep pace with the trend towards increased circuit integration, printed circuit patterns are becoming denser and more complex… 
Highly Cited
1975
Highly Cited
1975
Characterization of trace metal species and measurement of trace metal stability constants by electrochemical techniques
Highly Cited
1971
Highly Cited
1971
A simple derivation of Edmonds' algorithm for optimum branchings
Edmonds [1] has given an algorithm for constructing a maximum-weight branching in a weighted directed graph. His proof that the… 
Highly Cited
1934
Highly Cited
1934
THE IONIZATION OF CALCIUM, MAGNESIUM, AND STRONTIUM CITRATES
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)