Abstract is missing.
- Petrification: Software Model Checking for Programs with Dynamic Thread ManagementMatthias Heizmann, Dominik Klumpp, Lars Nitzke, Frank Schüssele. 3-25 [doi]
- A Fully Verified Persistency LibraryStefan Bodenmüller, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim. 26-47 [doi]
- A Navigation Logic for Recursive Programs with Dynamic Thread CreationRoman Lakenbrink, Markus Müller-Olm, Christoph Ohrem, Jens Oliver Gutsfeld. 48-70 [doi]
- Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based TrainingJiaxu Tian, Dapeng Zhi, Si Liu 0003, Peixin Wang, Guy Katz, Min Zhang 0002. 73-97 [doi]
- Verification of Neural Networks' Local Differential Classification PrivacyRoie Reshef, Anan Kabaha, Olga Seleznova, Dana Drachsler-Cohen. 98-123 [doi]
- AGNES: Abstraction-Guided Framework for Deep Neural Networks SecurityAkshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn, Vahid Hashemi. 124-138 [doi]
- Guaranteed Inference for Probabilistic Programs: A Parallelisable, Small-Step Operational ApproachMichele Boreale, Luisa Collodi. 141-162 [doi]
- Local Reasoning About Probabilistic Behaviour for Classical-Quantum ProgramsYuxin Deng, Huiling Wu, Ming Xu 0010. 163-184 [doi]
- Deductive Verification of Parameterized Embedded Systems Modeled in SystemCPhilip Tasche, Raúl E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman. 187-209 [doi]
- Automatically Enforcing Rust Trait PropertiesTwain Byrnes, Yoshiki Takashima, Limin Jia 0001. 210-223 [doi]
- Borrowable Fractional Ownership Types for VerificationTakashi Nakayama, Yusuke Matsushita 0002, Ken Sakayori, Ryosuke Sato 0001, Naoki Kobayashi 0001. 224-246 [doi]
- TP-DejaVu: Combining Operational and Declarative Runtime VerificationKlaus Havelund, Panagiotis Katsaros, Moran Omer, Doron Peled, Anastasios Temperekidis. 249-263 [doi]
- Synthesizing Efficiently Monitorable Formulas in Metric Temporal LogicRitam Raha, Rajarshi Roy 0002, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez 0001. 264-288 [doi]
- Automatic and Incremental Repair for Speculative Information LeaksJoachim Bard, Swen Jacobs, Yakir Vizel. 291-313 [doi]
- Sound Abstract Nonexploitability AnalysisFrancesco Parolini, Antoine Miné. 314-337 [doi]