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

Software verification

Known as: Verification 
Software verification is a discipline of software engineering whose goal is to assure that software fully satisfies all the expected requirements… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream… Expand
  • figure 1.1
  • figure 1.2
  • figure 2.1
  • figure 2.2
  • figure 2.3
Is this relevant?
Highly Cited
2015
Highly Cited
2015
For organisations like Facebook, high quality software is important. However, the pace of change and increasing complexity of… Expand
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Configurable software verification is a recent concept for expressing different program analysis and model checking approaches in… Expand
  • figure 2
  • table 2
Is this relevant?
Highly Cited
2011
Highly Cited
2011
We present combined-case k-induction, a novel technique for verifying software programs. This technique draws on the strengths of… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
2004
Highly Cited
2004
This paper discusses our methodology for formal analysis and automatic verification of software programs. It is applicable to a… Expand
  • figure 1
  • table 1
  • figure 2
  • table 2
  • figure 3
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Blast (the Berkeley Lazy Abstraction Software verification Tool) is a verification system for checking safety properties of C… Expand
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Software verification is an important and difficult problem. Many static checking techniques for software require annotations… Expand
  • figure 2
  • figure 3
  • figure 7
  • figure 8
Is this relevant?
Highly Cited
2002
Highly Cited
2002
We describe a novel software verification primitive called Oblivious Hashing. Unlike previous techniques that mainly verify the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1999
Highly Cited
1999
  • Todd M. Austin
  • MICRO-32. Proceedings of the 32nd Annual ACM/IEEE…
  • 1999
  • Corpus ID: 5743627
Building a high-performance microprocessor presents many reliability challenges. Designers must verify the correctness of large… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
1957
Highly Cited
1957
Information theory provides a constructive criterion for setting up probability distributions on the basis of partial knowledge… Expand
  • figure 1
  • figure 2
Is this relevant?