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 Note

Overview of ComFoRT: A Model Checking Reasoning Framework

  • April 2004
  • By James Ivers, Natasha Sharygina
  • 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
  • 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.

  • Download

Cite This Report

SEI

Ivers, James; & Sharygina, Natasha. Overview of ComFoRT: A Model Checking Reasoning Framework. CMU/SEI-2004-TN-018. Software Engineering Institute, Carnegie Mellon University. 2004. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6935

IEEE

Ivers. James, and Sharygina. Natasha, "Overview of ComFoRT: A Model Checking Reasoning Framework," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Note CMU/SEI-2004-TN-018, 2004. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6935

APA

Ivers, James., & Sharygina, Natasha. (2004). Overview of ComFoRT: A Model Checking Reasoning Framework (CMU/SEI-2004-TN-018). Retrieved December 11, 2016, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6935

CHI

James Ivers, & Natasha Sharygina. Overview of ComFoRT: A Model Checking Reasoning Framework (CMU/SEI-2004-TN-018). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2004. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6935

MLA

Ivers, James., & Sharygina, Natasha. 2004. Overview of ComFoRT: A Model Checking Reasoning Framework (Technical Report CMU/SEI-2004-TN-018). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6935

BibTex

@techreport{IversOverviewof2004,
title={Overview of ComFoRT: A Model Checking Reasoning Framework},
author={James Ivers and Natasha Sharygina},
year={2004},
number={CMU/SEI-2004-TN-018},
institution={Software Engineering Institute, Carnegie Mellon University},
address={Pittsburgh, PA},
url={http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=6935} }