Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems;
Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
Table of contents
| Pages : | 680 |
| Size : | 24.9 MB |
| Downloads: | 49 |
| Created: | 2022-02-01 |
| License: | CC BY |
| Author(s): | Isil Dillig, Serdar Tasiran |
Others related eBooks about Computer Aided Verification
Download free course Intertwingled, pdf file on 157 pages by Douglas Dechow, Daniele Struppa.
Download free course CyberParks – The Interface Between People, Places and Technology, pdf file on 331 pages by Carlos Smaniotto Costa, Ina Šuklje Erjavec, Therese Kenna, Michiel de Lange, Konstantinos Ioannidis, Gabriela Maksymiuk, Martijn de Waal.
Download free course Embedded Firmware Solutions, pdf file on 215 pages by Jiming Sun, Marc Jones, Stefan Reinauer, Vincent Zimmer.
Download free course Probability and Statistics for Computer Science, pdf file on 374 pages by David Forsyth.
This book explores the key principles of computer networking, with examples drawn from the real world of network and protocol design. Using the Internet as the primary example, this best selling and classic textbook explains various protocols and networking technologies. The systems oriented appro