icon-carat-right menu search cmu-wordmark

Overview of ComFoRT: A Model Checking Reasoning Framework

Technical Note
This 2004 report describes ComFoRT, a reasoning framework that packages the effectiveness of state-of-the-art model checking in a form that enables users to apply the analysis technique without being experts in its use, and its incorporation in a PECT.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-2004-TN-018
DOI (Digital Object Identifier)
10.1184/R1/6575960.v1

Abstract

Component technologies are gaining acceptance in the software community as effective tools for quickly assembling increasingly complex systems from components. Most of the current component technologies, however, fail to help developers predict important software qualities like performance, safety, and reliability. A prediction-enabled component technology (PECT) augments the capabilities of a component technology with one or more reasoning frameworks that package quality specific analyses and the means to apply them to component-based systems. Model checking is an automated approach for exhaustively analyzing whether systems satisfy specific behavioral claims that can be used to characterize safety and reliability requirements. This technical note describes ComFoRT, a reasoning framework that packages the effectiveness of state-of-the-art model checking in a form that enables users to apply the analysis technique without being experts in its use, and its incorporation in a PECT.

Cite This Technical Note

Ivers, J., & Sharygina, N. (2004, April 1). Overview of ComFoRT: A Model Checking Reasoning Framework. (Technical Note CMU/SEI-2004-TN-018). Retrieved December 5, 2024, from https://doi.org/10.1184/R1/6575960.v1.

@techreport{ivers_2004,
author={Ivers, James and Sharygina, Natasha},
title={Overview of ComFoRT: A Model Checking Reasoning Framework},
month={{Apr},
year={{2004},
number={{CMU/SEI-2004-TN-018},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://doi.org/10.1184/R1/6575960.v1},
note={Accessed: 2024-Dec-5}
}

Ivers, James, and Natasha Sharygina. "Overview of ComFoRT: A Model Checking Reasoning Framework." (CMU/SEI-2004-TN-018). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, April 1, 2004. https://doi.org/10.1184/R1/6575960.v1.

J. Ivers, and N. Sharygina, "Overview of ComFoRT: A Model Checking Reasoning Framework," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Note CMU/SEI-2004-TN-018, 1-Apr-2004 [Online]. Available: https://doi.org/10.1184/R1/6575960.v1. [Accessed: 5-Dec-2024].

Ivers, James, and Natasha Sharygina. "Overview of ComFoRT: A Model Checking Reasoning Framework." (Technical Note CMU/SEI-2004-TN-018). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Apr. 2004. https://doi.org/10.1184/R1/6575960.v1. Accessed 5 Dec. 2024.

Ivers, James; & Sharygina, Natasha. Overview of ComFoRT: A Model Checking Reasoning Framework. CMU/SEI-2004-TN-018. Software Engineering Institute. 2004. https://doi.org/10.1184/R1/6575960.v1