Wydawnictwo | Springer, Berlin |
Data wydania | |
Liczba stron | 432 |
Forma publikacji | książka w miękkiej oprawie |
Język | angielski |
ISBN | 9783031199912 |
Kategorie | Inżynieria oprogramowania |
The papers are divided into the following topical sub-headings: reinforcement learning; program analysis and verification; smt and verification; automata and applications; active learning; probabilistic and stochastic systems; synthesis and repair; and verification of neural networks.
Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings