Carnegie Mellon University
Browse

Model-Based Verification: Claim Creation Guidelines

Download (135.88 kB)
report
posted on 2001-10-01, 00:00 authored by Santiago Comella-Dorda, David Gluch, John J. Hudak, Grace A. Lewis, Charles B. Weinstock
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.

History

Date

2001-10-01

Usage metrics

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC