search menu icon-carat-right cmu-wordmark
Carnegie Mellon University

Software Engineering Institute

  1. SEI
  2. Publications
  3. Digital Library
  4. Framework Document: Model-Based Verification Pilot Study

Framework Document: Model-Based Verification Pilot Study

October 2001 • Special Report
David P. Gluch, John J. Hudak, Robert Janousek, Julie A. Walker, Charles B. Weinstock, David Zubrow

This 2001 document describes the processes, activities, artifacts, and deliverables associated with an Engineering Practice Investigation of MBV.

Publisher:

Software Engineering Institute
CMU/SEI Report Number

CMU/SEI-2001-SR-024

DOI (Digital Object Identifier):
10.1184/R1/6573920.v1
Subjects

Abstract

This Pilot Study Framework document describes the processes, activities, artifacts, and deliverables associated with an Engineering Practice Investigation of Model-Based Verification (MBV).