Software verification

Software verification is a discipline of software engineering whose goal is to assure that software fully satisfies all the expected requirements… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1972-2017
05010019722017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
Automatically generated tools can significantly improve programmer productivity. For example, parsers and dataflow analyzers can… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • table 1
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… (More)
  • figure 1
  • figure 2
  • table 1
Is this relevant?
2011
2011
We present combined-case k-induction, a novel technique for verifying software programs. This technique draws on the strengths of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2010
2010
We describe the first software tool for the <i>verification</i> of TinyOS 2, MSP430 applications at <i>compile-time</i>. Given <i… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2004
Highly Cited
2004
In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be… (More)
  • table 1
  • table 2
Is this relevant?
Highly Cited
2003
Highly Cited
2003
ion of C programs. In PLDI 01: Programming Language Design and Implementation, pages 203–213. ACM, 2001. 2. S. Das, D. L. Dill… (More)
Is this relevant?
2003
2003
With the steady increase in computational power of general purpose computers, our ability to analyze routine software artifacts… (More)
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… (More)
  • figure 2
  • figure 3
  • figure 7
  • figure 8
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Find the secret to improve the quality of life by reading this systems and software verification model checking techniques and… (More)
Is this relevant?
2001
2001
How can we determine the added value of software verification techniques over the more readily available conventional testing… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?