Model-Based Verification: Claim Creation Guidelines
• SEI Report
Publisher
Software Engineering Institute
CMU/SEI Report Number
CMU/SEI-2001-TN-018Topic or Tag
Abstract
Model Based Verification (MBV) is a systematic approach to finding defects (errors) in software requirements, designs, or code. MBV involves creating essential models of system behavior and analyzing these models against formal representations of expected properties, known as claims. Claim generation has been identified as a particularly complex activity within model-based verification. This technical note describes a pattern-based approach to facilitate claim generation. The report includes a list of directly usable patterns for the most frequent expected properties found in system specifications.
Cite This SEI Report
Comella-Dorda, S., Gluch, D., Hudak, J., Lewis, G., & Weinstock, C. (2001, October 1). Model-Based Verification: Claim Creation Guidelines. (SEI Report CMU/SEI-2001-TN-018). Retrieved September 13, 2026, from https://www.sei.cmu.edu/library/model-based-verification-claim-creation-guidelines/.
@techreport{comella-dorda_2001,
author={Comella-Dorda, Santiago and Gluch, David and Hudak, John and Lewis, Grace and Weinstock, Charles},
title={Model-Based Verification: Claim Creation Guidelines},
month={Oct},
year={2001},
number={{CMU/SEI-2001-TN-018},
institution={Software Engineering Institute, Carnegie Mellon University},
url={https://www.sei.cmu.edu/library/model-based-verification-claim-creation-guidelines/},
note={Accessed: 2026-Sep-13}
}
Comella-Dorda, Santiago, David Gluch, John Hudak, Grace Lewis, and Charles Weinstock. "Model-Based Verification: Claim Creation Guidelines." (CMU/SEI-2001-TN-018). Software Engineering Institute, Carnegie Mellon University. Software Engineering Institute, October 1, 2001. https://www.sei.cmu.edu/library/model-based-verification-claim-creation-guidelines/.
S. Comella-Dorda, D. Gluch, J. Hudak, G. Lewis, and C. Weinstock, "Model-Based Verification: Claim Creation Guidelines," Software Engineering Institute, Carnegie Mellon University. Software Engineering Institute, SEI Report CMU/SEI-2001-TN-018, 1-Oct-2001 [Online]. Available: https://www.sei.cmu.edu/library/model-based-verification-claim-creation-guidelines/. [Accessed: 13-Sep-2026].
Comella-Dorda, Santiago, David Gluch, John Hudak, Grace Lewis, and Charles Weinstock. "Model-Based Verification: Claim Creation Guidelines." (SEI Report CMU/SEI-2001-TN-018). Software Engineering Institute, Carnegie Mellon University, Software Engineering Institute, 1 Oct. 2001. https://www.sei.cmu.edu/library/model-based-verification-claim-creation-guidelines/. Accessed 13 Sep. 2026.
Comella-Dorda, Santiago; Gluch, David; Hudak, John; Lewis, Grace; & Weinstock, Charles. Model-Based Verification: Claim Creation Guidelines. CMU/SEI-2001-TN-018. Software Engineering Institute. 2001. https://www.sei.cmu.edu/library/model-based-verification-claim-creation-guidelines/