Related Books
Language: en
Pages: 210
Pages: 210
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the so
Language: en
Pages: 172
Pages: 172
Type: BOOK - Published: 1998 - Publisher:
Abstract: "This thesis presents a collection of techniques and tools for avoiding the State Explosion Problem in verification of State/Event Systems and real ti
Language: en
Pages: 172
Pages: 172
Type: BOOK - Published: 1998 - Publisher:
Language: en
Pages: 474
Pages: 474
Type: BOOK - Published: 1998 - Publisher:
Language: en
Pages: 26
Pages: 26
Type: BOOK - Published: 2001-11-26 - Publisher: Cambridge University Press
An advanced 2001 textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly.