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
2015
Highly Cited
2015
A Distributed Fault-Tolerant Topology Control Algorithm for Heterogeneous Wireless Sensor Networks
This paper introduces a distributed fault-tolerant topology control algorithm, called the Disjoint Path Vector (DPV), for… 
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
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… 
Highly Cited
1991
Highly Cited
1991
CAREL: Computer Aided Reliability Evaluator for Distributed Computing Networks
  • S. SohS. Rai
  • IEEE Trans. Parallel Distributed Syst.
  • 1991
  • Corpus ID: 1132635
An efficient method to compute the terminal reliability (the probability of communication between a pair of nodes) of a… 
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
1977
Highly Cited
1977
A Unified Method for the Specification and Verification of Protocols
Verification of communication protocols usually involves two parts: a state-machine analysis of the control structure and proving… 
Highly Cited
1975
Highly Cited
1975
Characterization of trace metal species and measurement of trace metal stability constants by electrochemical techniques
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)