Unfoldings : A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science : An EATCS Series)

Esparza, J./ Heljanko, K.

Springer（2008/02発売）

• 製本 Hardcover:ハードカバー版／ページ数 170 p.
• 商品コード 9783540774259

基本説明

Introduces unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory.

Full Description

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory.