A Model Checking Framework for Layered Command and Control Software

Kathi Fisler, Shriram Krishnamurthi, Don S. Batory, Jia Liu

Monterey Workshop on Engineering Automation for Software Intensive System Integration, 2001

Comment

This is a workshop paper, low on technical detail. Please refer to the corresponding conference paper. instead.