DocumentCode
20517
Title
A Modular Model Checking Algorithm for Cyclic Feature Compositions
Author
Kathi Fisler استاد راهنما , Dan Dougherty استاد مشاور
University
WPI
Grade
نامعلوم
Major
MS )Computer Science(
Number of pages
0
Publish Date
2005
Keyword
modular verification , assume-guarantee reasoning , feature-oriented software development , model checking , Verification
Note
01
Language
انگليسي
Link To Document