Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Acceptance testingAgent-based modelAuthenticationBIOS

Broader (1)

Systems engineering

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2006
Highly Cited
2006
A novel realistic simulation tool for video transmission over wireless network
The objective of this paper is to present a novel realistic simulation tool-set for evaluating video delivered quality over… 
Highly Cited
2005
Highly Cited
2005
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
This paper deals with the problem of safety verification of non-linear hybrid systems. We start from a classical method that uses… 
Highly Cited
2003
Highly Cited
2003
Modeling and formal verification of embedded systems based on a Petri net representation
Highly Cited
1995
Highly Cited
1995
Advanced Verification Techniques Based on Learning
Design verification poses a very practical problem during circuit synthesis. Learning based verification techniques prove to be… 
Highly Cited
1994
Highly Cited
1994
An integrated approach for analog circuit testing with a minimum number of detected parameters
A technique for multifrequency test vector generation using testability analysis and output response detection by adding a… 
Review
1993
Review
1993
Book Reviews: Statistically-Driven Computer Grammars of English: The IBM/Lancaster Approach
Statistical computational linguistics is entering a consolidation phase, signaled by the appearance of book-length tracts devoted… 
Highly Cited
1993
Highly Cited
1993
High frequency compensated current-mode ladder filters using multiple output OTAs
A methodology to synthesize continuous-time current-mode filters using multiple output operational transconductance amplifiers… 
Highly Cited
1983
Highly Cited
1983
Testing by Verifying Walsh Coefficients
Testing of logic networks by verifying the Walsh coefricients of the outputs is explored. Measurement of one of these can detect… 
Highly Cited
1972
Highly Cited
1972
A Note on Three-Valued Logic Simulation
In this note we discuss a few attributes and pitfalls of three-valued (0, 1, u) digital logic simulation. The areas covered… 
Highly Cited
1965
Highly Cited
1965
Effect of a finite-word-length computer in a sampled-data feedback system
When a digital computer acts as the compensating element of a sampled-data feedback system, the system performance is degenerated… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)