Verification and validation

Known as: Verfiable, VV, Operational qualification 
Verification and validation are independent procedures that are used together for checking that a product, service, or system meets requirements and… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
This paper describes a major new release of the PRISM probabilistic model checker, adding, in particular, quantitative… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2010
Highly Cited
2010
• Define the objectives of verification, validation, and uncertainty quantification • Implement procedures for code verification… (More)
Is this relevant?
Highly Cited
2010
Highly Cited
2010
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
In this paper we discuss verification and validation of simulation models. Four different approaches to deciding model validity… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Developers of computer codes, analysts who use the codes, and decision makers who rely on the results of the analyses face a… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
This paper sets simulation model verification and validation (V&V) in the context of the process of performing a simulation study… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1994
Highly Cited
1994
We describe a framework for compositional verification of finite-state processes. The framework is based on two ideas: a subset… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1992
Highly Cited
1992
In this paper we discuss validation and verfication of simulation models. Four different approaches to deciding model validity… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 6
Is this relevant?
Highly Cited
1986
Highly Cited
1986
We give an efficient procedure for verifying that a finite-state concurrent system meets a specification expressed in a… (More)
Is this relevant?