The ComFoRT Reasoning Framework
摘要：
Summary: 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.
展开
DOI：
10.1007/11513988_18
被引量：
年份：
2005
相似文献
参考文献
引证文献
引用走势
辅助模式
引用
文献可以批量引用啦~
欢迎点我试用！
