Software verification and validation

Known as: Verification and Validation (software), Validation, Verification 
In software project management, software testing, and software engineering, verification and validation (V&V) is the process of checking that a… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
This INL plan comprehensively describes the software for RELAP-7 and documents the software, interface, and software design… (More)
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Review
2012
Review
2012
Learning techniques are being used increasingly to improve software verification and validation activities. For example, automata… (More)
Is this relevant?
2010
2010
Developing software for high-dependable space applications and systems is a formidable task. With new political and market… (More)
  • table I
  • table II
  • table III
  • table IV
  • table V
Is this relevant?
2009
2009
Today, it's an important requirement to have software systems without any bug. Model checking has proven to be a viable solution… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
2004
2004
It is not surprising that students are unconvinced about the benefits of formal methods if we do not show them how these methods… (More)
  • figure 1
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Do more with less. Software development organizations are developing more products that are more complex and more difficult to… (More)
  • figure 12-1
  • figure 12-2
Is this relevant?
1997
1997
SOFTWA RE V ERIFICATION A ND VA LIDATION: A PRA CTITIONER'S GUIDE (A RTECH COMPUTER SCIENCE LIBRA RY) To download Software… (More)
Is this relevant?
1996
1996
Computing systems may be employed in the health care environment in efforts to increase reliability of care and reduce costs… (More)
  • table 2-1
  • table 5-1
  • figure A-2
  • figure A·3
Is this relevant?
Review
1989
Review
1989
An explanation is given of software verification and validation (V&V) and how it fits in the development life cycle. How to apply… (More)
  • table 1
  • table 2
  • table 3
Is this relevant?
1987
1987
Software verification and validation (V&V) is a systems engineering process that supports the evaluation of software quality… (More)
Is this relevant?