Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
This paper identifies the most promising electric power system (EPS) architecture for a future more electric aircraft based on… Expand
  • table I
  • table II
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Review
2018
Review
2018
Abstract Background Since sustainability became a challenge in software engineering, researchers mainly from requirements… Expand
  • table 1
  • table 2
  • figure 1
  • figure 2
  • table 3
Is this relevant?
Review
2018
Review
2018
Nowadays, simultaneous localization and mapping (SLAM) algorithms support several commercial sensors which have recently been… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 5
Is this relevant?
Review
2017
Review
2017
In medical imaging, Computer Aided Diagnosis (CAD) is a rapidly growing dynamic area of research. In recent years, significant… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
Review
2017
Review
2017
Software-defined networking (SDN) is an emerging paradigm that has become increasingly popular in recent years. The core idea is… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
2017
Review
2017
In the recent years, different Web knowledge graphs, both free and commercial, have been created. While Google coined the term… Expand
  • table 1
Is this relevant?
Review
2016
Review
2016
A recent trend in programming language research is to use behavioral type theory to ensure various correctness properties of… Expand
  • figure 1.1
  • figure 2.1
  • table 2.1
  • figure 4.1
  • figure 8.1
Is this relevant?
Review
2016
Review
2016
Reputation systems are crucial for distributed applications in which users have to be made accountable for their actions, such as… Expand
  • table 1
Is this relevant?
Highly Cited
1990
Highly Cited
1990
A concurrent object is a data object shared by concurrent processes. Linearizability is a correctness condition for concurrent… Expand
  • figure 1
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1977
Highly Cited
1977
  • Leslie Lamport
  • IEEE Transactions on Software Engineering
  • 1977
  • Corpus ID: 9985552
The inductive assertion method is generalized to permit formal, machine-verifiable proofs of correctness for multiprocess… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?