Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants

Batz, Kevin; Matheja, Christoph; Chen, Mingshuai; Kaminski, Benjamin Lucien; Junges, Sebastian; Katoen, Joost-Pieter

doi:WOS:001288698100025

Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants

Batz, Kevin (Corresponding author)^RWTH* ; Chen, Mingshuai (Corresponding author) ; Junges, Sebastian (Corresponding author) ; Kaminski, Benjamin Lucien (Corresponding author) ; Katoen, Joost-Pieter (Corresponding author)^RWTH* ; Matheja, Christoph (Corresponding author)

In
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II / edited by Sriram Sankaranarayanan, Natasha Sharygina, Seiten/Artikel-Nr: 410-429

2023

Konferenz/Event:29. International Conference Tools and Algorithms for the Construction and Analysis of Systems , Paris , France , TACAS 2023 , 2023-04-22 - 2023-04-27

Konferenz/Event:26. European Joint Conferences on Theory and Practice of Software , Paris , France , ETAPS 2023 , 2023-04-22 - 2023-04-27

ImpressumCham : Springer Nature Switzerland

Umfang410-429

ISBN978-3-031-30819-2, 978-3-031-30820-8, 978-3-031-30821-5

ReiheLecture Notes in Computer Science ; 13994