Framework Document: Model-Based Verification Pilot Study

October 1, 2001 • SEI Report

By
David P. Gluch, John J. Hudak, Robert Janousek, Julie A. Walker, Charles Weinstock, and 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

Topic or Tag

Performance and Dependability

Abstract

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

This report provides a description of the goals of the study, a description of the phases of the study, and the activities necessary to acquire the information to meet the study goals. A description of the metrics and associated logs necessary to acquire the study data are also included.

@techreport{gluch_2001, author={Gluch, David and Hudak, John and Janousek, Robert and Walker, Julie and Weinstock, Charles and Zubrow, David}, title={Framework Document: Model-Based Verification Pilot Study}, month={Oct}, year={2001}, number={{CMU/SEI-2001-SR-024}, institution={Software Engineering Institute, Carnegie Mellon University}, doi={10.1184/R1/6573920.v1}, url={https://doi.org/10.1184/R1/6573920.v1}, note={Accessed: 2026-Sep-12} }