FAQ

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

Related topics

Related topics

25 relations
ACM Transactions on Programming Languages and SystemsAnti-patternArtur d'Avila GarcezAutomated reasoning
(More)

Broader (1)

Software testing

Related mentions per year

Related mentions per year

1936-2018
19401960198020002020
Software verification
Formal verification
Software metric
Software engineering
Model checking
Software testing

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
Synthesizing software verifiers from proof rules
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
CPAchecker: A Tool for Configurable Software Verification
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
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… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2010
2010
Software verification for TinyOS
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
Model-Driven Software Verification
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
Software Verification with BLAST
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
Trends in Software Verification
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
Predicate abstraction for software verification
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
Systems and software verification: model checking techniques and tools
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
Economics of software verification
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?