Related Books
Language: en
Pages: 230
Pages: 230
Type: BOOK - Published: 2019-05-14 - Publisher: Princeton University Press
An essential introduction to the analysis and verification of control system software The verification of control system software is critical to a host of techn
Language: en
Pages: 188
Pages: 188
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media
Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counte
Language: en
Pages: 100
Pages: 100
Type: BOOK - Published: 1987 - Publisher:
Language: en
Pages: 376
Pages: 376
Type: BOOK - Published: 2012-09-25 - Publisher: Springer
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Me
Language: en
Pages: 202
Pages: 202
Type: BOOK - Published: 2009-06-12 - Publisher: Springer Science & Business Media
Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite mo