Model checking /
An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Massachusetts :
MIT Press,
[2018]
|
| Edition: | Second edition. |
| Series: | Cyber-physical systems series.
|
| Subjects: |
Search Result 1
