مرکز منطقه ای اطلاع رساني علوم و فناوري - A Modular Model Checking Algorithm for Cyclic Feature Compositions

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 :

Publish Date :

2005

Keyword :

modular verification , assume-guarantee reasoning , feature-oriented software development , model checking , Verification

Note :

Language :

انگليسي

Link To Document :