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

Related topics

Related topics

29 relations
ACM Transactions on Programming Languages and SystemsAnti-patternArtur d'Avila GarcezAttack Surface Analyzer
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
Deductive Software Verification – The KeY Book
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
Moving Fast with Software Verification
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
CPAchecker: A Tool for Configurable Software Verification
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
Software Verification Using k-Induction
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
Efficient SAT-based bounded model checking for software verification
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
Software Verification with BLAST
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
Predicate abstraction for software verification
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
Oblivious Hashing: A Stealthy Software Integrity Verification Primitive
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
DIVA: a reliable substrate for deep submicron microarchitecture design
  • 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 and Statistical Mechanics
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?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE