The ComFoRT Reasoning Framework
Sagar
Chaki, James Ivers, Natasha Sharygina, Kurt Wallnau,
Proceedings of the 17th International Conference on Computer
Aided Verification (CAV), LNCS 3576, page 164-169, July 6-10,
2005
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.
PDF /
Online
© Springer