Model-Based Verification: An Engineering Practice

Abstract

Model-Based Verification (MBV) involves building and analyzing formal models of a system as an approach to identifying and guiding the correction of defects in software engineering artifacts. This report summarizes MBV and outlines the responsibilities of engineers engaged in Model-Based Verification. Each of the practices is described together with an initial set of guideline documents. These descriptions include procedural information, technical foundations for the practice, and engineering techniques for an MBV practitioner.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 2002
Accession Number
ADA407768

Entities

People

  • David P. Gluch
  • Grace Lewis
  • John J. Hudak
  • John K. Walker
  • Santiago Comella-dorda

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Department Of Defense
  • Detection
  • Engineering
  • Engineers
  • Failure Mode And Effect Analysis
  • Formal Languages
  • Natural Languages
  • New York
  • Organizational Structure
  • Software Development
  • Software Development Tools
  • Validation
  • Verification

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.