Related Books
Language: en
Pages: 432
Pages: 432
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are a
Language: en
Pages: 525
Pages: 525
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to
Language: en
Pages:
Pages:
Type: BOOK - Published: 1992 - Publisher:
Language: en
Pages: 608
Pages: 608
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media
This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular, the text presents a
Language: ja
Pages: 832
Pages: 832
Type: BOOK - Published: 1990-04-25 - Publisher: Springer Science & Business Media
The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct dev