The ComFoRT Reasoning Framework
• SEI Report
Publisher
Software Engineering Institute
Abstract
Model checking is a promising technology for verifying critical behavior of software. However, software model checking is hamstrung by scalability issues and is difficult for software engineers to use directly. The second challenge arises from the gap between model checking concepts and notations, and those used by engineers to develop large-scale systems. ComFoRT addresses both of these challenges. It provides a model checker, Copper, that implements a suite of complementary complexity management techniques to address state space explosion. But ComFoRT is more than a model checker. The ComFoRT reasoning framework includes additional support for building systems in a particular component-based idiom. This addresses transition issues.
Cite This SEI Report
Chaki, S., Ivers, J., Sharygina, N., & Wallnau, K. (2005, July 1). The ComFoRT Reasoning Framework. Retrieved August 12, 2026, from https://www.sei.cmu.edu/library/the-comfort-reasoning-framework/.
@techreport{chaki_2005,
author={Chaki, Sagar and Ivers, James and Sharygina, Natasha and Wallnau, Kurt},
title={The ComFoRT Reasoning Framework},
month={Jul},
year={2005},
institution={Software Engineering Institute, Carnegie Mellon University},
url={https://www.sei.cmu.edu/library/the-comfort-reasoning-framework/},
note={Accessed: 2026-Aug-12}
}
Chaki, Sagar, James Ivers, Natasha Sharygina, and Kurt Wallnau. "The ComFoRT Reasoning Framework." Software Engineering Institute, Carnegie Mellon University. Software Engineering Institute, July 1, 2005. https://www.sei.cmu.edu/library/the-comfort-reasoning-framework/.
S. Chaki, J. Ivers, N. Sharygina, and K. Wallnau, "The ComFoRT Reasoning Framework," Software Engineering Institute, Carnegie Mellon University. Software Engineering Institute, 1-Jul-2005 [Online]. Available: https://www.sei.cmu.edu/library/the-comfort-reasoning-framework/. [Accessed: 12-Aug-2026].
Chaki, Sagar, James Ivers, Natasha Sharygina, and Kurt Wallnau. "The ComFoRT Reasoning Framework." Software Engineering Institute, Carnegie Mellon University, Software Engineering Institute, 1 Jul. 2005. https://www.sei.cmu.edu/library/the-comfort-reasoning-framework/. Accessed 12 Aug. 2026.
Chaki, Sagar; Ivers, James; Sharygina, Natasha; & Wallnau, Kurt. The ComFoRT Reasoning Framework. Software Engineering Institute. 2005. https://www.sei.cmu.edu/library/the-comfort-reasoning-framework/