Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 239,032,094 papers from all fields of science
Search
Sign In
Create Free Account
Software verification and validation
Known as:
Verification and Validation (software)
, Validation
, Verification
Expand
In software project management, software testing, and software engineering, verification and validation (V&V) is the process of checking that a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
24 relations
Abstract Syntax Notation One
Barry Boehm
Capability Maturity Model
Compiler correctness
Expand
Broader (2)
Formal methods
Software quality
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Implementing a Software Verification and Validation Management Framework in the Space Industry
Bogdan Marculescu
2010
Corpus ID: 55081132
Software designed for use in space related applications has a particular set of requirements regarding dependability and…
Expand
2009
2009
Evolvable Approaches to Software Verification and Validation
B. Narahari
,
R. Simha
,
A. Choudhary
2009
Corpus ID: 59624481
Abstract : This project considered software protection in embedded systems built using encrypted execution platforms where…
Expand
2007
2007
Proposal for a Holistic Approach to Improve Software Validation Process in Automotive Industry
Roy Awedikian
,
B. Yannou
,
M. Mekhilef
,
Line Bouclier
,
Philippe H. Lebreton
,
L. Augusto
2007
Corpus ID: 114540704
2005
2005
TechnologyTechnology A Expert Systems What SH & E managers need to know about software verification and validation
G. Winn
,
B. Gopalakrishnan
,
M. Akladios
,
R. Premkumar
2005
Corpus ID: 50950756
www.asse.org AUGUST 2005 PROFESSIONAL SAFETY 45 AN EXPERT SYSTEM is a computer program that solves specific, complex problems…
Expand
2002
2002
A Railway demonstrator model for experimental investigation of integrated specification techniques
H. Schrom
2002
Corpus ID: 14519332
In the paper conceptual and physical realisation of a railway demonstrator model is presented. The main purpose of its design is…
Expand
2002
2002
Real-Time Embedded Software Verification and Validation 2001
Yann-Hang Lee
2002
Corpus ID: 60098713
As the space applications become more complex and timing constraints on control actions are more stringent, the task of…
Expand
2001
2001
Program Design by Informal English Descriptions
Benno Geißelmann
2001
Corpus ID: 51732477
Data Types and Software Validation On the Criteria to be Used in Decomposing Systems into Modules On the Design and Development…
Expand
1996
1996
Quantitative Measures for Software Independent Verification and Validation
Alice T. Lee
1996
Corpus ID: 17748707
ii Foreword The primary objective of this project is the formulation of software independent verification and validation (IV&V…
Expand
1994
1994
A process improvement model for software verification and validation
John R. Callahan
,
George J. Sabolish
1994
Corpus ID: 17034402
We describe ongoing work at the NASA Independent Verification and Validation (IV&V) Facility to establish a process improvement…
Expand
Review
1993
Review
1993
Survey and assessment of conventional software verification and validation techniques
L. A. Miller
,
E. Groundwater
,
S. Mirsky
1993
Corpus ID: 63630719
By means of a literature survey, a comprehensive set of methods was identified for the verification and validation of…
Expand