icon-carat-right menu search cmu-wordmark

Model-Based Verification: An Engineering Practice

Technical Report
This 2002 report summarizes MBV and outlines the responsibilities of engineers engaged in Model-Based Verification.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-2002-TR-021
DOI (Digital Object Identifier)
10.1184/R1/6575579.v1

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.

Cite This Technical Report

Gluch, D., Comella-Dorda, S., Hudak, J., Lewis, G., Walker, J., Weinstock, C., & Zubrow, D. (2002, August 1). Model-Based Verification: An Engineering Practice. (Technical Report CMU/SEI-2002-TR-021). Retrieved December 13, 2024, from https://doi.org/10.1184/R1/6575579.v1.

@techreport{gluch_2002,
author={Gluch, David and Comella-Dorda, Santiago and Hudak, John and Lewis, Grace and Walker, Julie and Weinstock, Charles and Zubrow, David},
title={Model-Based Verification: An Engineering Practice},
month={{Aug},
year={{2002},
number={{CMU/SEI-2002-TR-021},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://doi.org/10.1184/R1/6575579.v1},
note={Accessed: 2024-Dec-13}
}

Gluch, David, Santiago Comella-Dorda, John Hudak, Grace Lewis, Julie Walker, Charles Weinstock, and David Zubrow. "Model-Based Verification: An Engineering Practice." (CMU/SEI-2002-TR-021). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, August 1, 2002. https://doi.org/10.1184/R1/6575579.v1.

D. Gluch, S. Comella-Dorda, J. Hudak, G. Lewis, J. Walker, C. Weinstock, and D. Zubrow, "Model-Based Verification: An Engineering Practice," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-2002-TR-021, 1-Aug-2002 [Online]. Available: https://doi.org/10.1184/R1/6575579.v1. [Accessed: 13-Dec-2024].

Gluch, David, Santiago Comella-Dorda, John Hudak, Grace Lewis, Julie Walker, Charles Weinstock, and David Zubrow. "Model-Based Verification: An Engineering Practice." (Technical Report CMU/SEI-2002-TR-021). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Aug. 2002. https://doi.org/10.1184/R1/6575579.v1. Accessed 13 Dec. 2024.

Gluch, David; Comella-Dorda, Santiago; Hudak, John; Lewis, Grace; Walker, Julie; Weinstock, Charles; & Zubrow, David. Model-Based Verification: An Engineering Practice. CMU/SEI-2002-TR-021. Software Engineering Institute. 2002. https://doi.org/10.1184/R1/6575579.v1