search menu icon-carat-right cmu-wordmark

The ComFoRT Reasoning Framework

Presentation outlining a White Paper published on July 1, 2005.

Software Engineering Institute


Model checking is a promising technology for verifying the critical behavior of the software. However, software model checking is hamstrung by scalability issues and is difficult for software engineers to use directly. ComFoRT addresses both of these challenges.