Index Catalog // Digital WPI

Start Over

Filtering by: Keyword assume-guarantee reasoning Year 2005

1. A Modular Model Checking Algorithm for Cyclic Feature Compositions

Keyword:: model checking, feature-oriented software development, modular verification, Verification, and assume-guarantee reasoning
Creator:: Wang, Xiaoning
Advisor:: Fisler, Kathryn
Publisher:: Worcester Polytechnic Institute
Date Created:: 2005-01-11
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science