Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Technical Report

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.

  • Download

Cite This Report

SEI

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, Carnegie Mellon University, 2002. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6141

IEEE

Gluch. David, Comella-Dorda. Santiago, Hudak. John, Lewis. Grace, Walker. Julie, Weinstock. Charles, and Zubrow. David, "Model-Based Verification: An Engineering Practice," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-2002-TR-021, 2002. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6141

APA

Gluch, David., Comella-Dorda, Santiago., Hudak, John., Lewis, Grace., Walker, Julie., Weinstock, Charles., & Zubrow, David. (2002). Model-Based Verification: An Engineering Practice (CMU/SEI-2002-TR-021). Retrieved December 26, 2014, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6141

CHI

David Gluch, Santiago Comella-Dorda, John Hudak, Grace Lewis, Julie Walker, Charles Weinstock, & David Zubrow. Model-Based Verification: An Engineering Practice (CMU/SEI-2002-TR-021). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2002. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6141

MLA

Gluch, David., Comella-Dorda, Santiago., Hudak, John., Lewis, Grace., Walker, Julie., Weinstock, Charles., & Zubrow, David. 2002. Model-Based Verification: An Engineering Practice (Technical Report CMU/SEI-2002-TR-021). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6141