Verification, model checking, and abstract interpretation. 25th international conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024. Proceedings. Part I. (English) Zbl 07831419
Lecture Notes in Computer Science 14499. Cham: Springer (ISBN 978-3-031-50523-2/pbk; 978-3-031-50524-9/ebook). xviii, 352 p. (2024).
The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1517.68010]. For Part II of the proceedings of the present conference see [Zbl 07831420].
MSC:
| 68-06 | Proceedings, conferences, collections, etc. pertaining to computer science |
| 68Q60 | Specification and verification (program logics, model checking, etc.) |
| 00B25 | Proceedings of conferences of miscellaneous specific interest |
