The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:
Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis;
Part II: Decision procedures; model checking; neural networks and machine learning;
Part II: Probabilistic systems; security and quantum systems; software verification.
The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:
Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis;
Part II: Decision procedures; model checking; neural networks and machine learning;
Part II: Probabilistic systems; security and quantum systems; software verification.
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
502
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
502Paperback(1st ed. 2023)
Product Details
| ISBN-13: | 9783031377082 |
|---|---|
| Publisher: | Springer Nature Switzerland |
| Publication date: | 07/17/2023 |
| Series: | Lecture Notes in Computer Science , #13966 |
| Edition description: | 1st ed. 2023 |
| Pages: | 502 |
| Product dimensions: | 6.10(w) x 9.25(h) x (d) |