search menu icon-carat-right cmu-wordmark

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

Abstract

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