Abstract is missing.
- The VerCors Verifier: A Progress ReportLukas Armborst, Pieter Bos, Lars B. van den Haak, Marieke Huisman, Robert Rubbens, Ömer Sakar, Philip Tasche. 3-18 [doi]
- Parsimonious Optimal Dynamic Partial Order ReductionParosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson 0001, Konstantinos Sagonas. 19-43 [doi]
- Collective Contracts for Message-Passing Parallel ProgramsZiqing Luo, Stephen F. Siegel. 44-68 [doi]
- mypyvy: A Research Platform for Verification of Transition Systems in First-Order LogicJames R. Wilcox, Yotam M. Y. Feldman, Oded Padon, Sharon Shoham. 71-85 [doi]
- Efficient Implementation of an Abstract Domain of Quantified First-Order FormulasEden Frenkel, Tej Chajed, Oded Padon, Sharon Shoham. 86-108 [doi]
- Verifying Cake-Cutting, FasterNoah Bertram, Tean Lai, Justin Hsu. 109-129 [doi]
- General Anticipatory Runtime VerificationRaik Hipler, Hannes Kallwies, Martin Leucker, César Sánchez 0001. 133-155 [doi]
- Proactive Real-Time First-Order EnforcementFrançois Hublet, Leonardo Lima 0001, David A. Basin, Srdan Krstic, Dmitriy Traytel. 156-181 [doi]
- Predictive Monitoring with Strong Trace PrefixesZhendong Ang, Umang Mathur 0001. 182-204 [doi]
- Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-LearnedJan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens. 207-218 [doi]
- Testing the Migration from Analog to Software-Based Railway Interlocking SystemsAnna Becchi, Alessandro Cimatti, Giuseppe Scaglione. 219-232 [doi]
- soid: A Tool for Legal Accountability for Automated Decision MakingSamuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac. 233-246 [doi]
- Marabou 2.0: A Versatile Formal Analyzer of Neural NetworksHaoze Wu 0001, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang 0002, Ori Lahav 0002, Min Wu, Min Zhang 0002, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett. 249-264 [doi]
- Monitizer: Automating Design and Evaluation of Neural Network MonitorsMuqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Kretínský, Stefanie Mohr, Sabine Rieder. 265-279 [doi]
- Guiding Enumerative Program Synthesis with Large Language ModelsYixuan Li, Julian Parsert, Elizabeth Polgreen. 280-301 [doi]
- Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program VerificationCheng Wen, Jialun Cao, Jie Su, Zhiwu Xu 0001, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian. 302-328 [doi]
- Verifying Global Two-Safety Properties in Neural Networks with ConfidenceAnagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher. 329-351 [doi]
- Certified Robust Accuracy of Neural Networks Are Bounded Due to Bayes ErrorsRuihan Zhang, Jun Sun 0001. 352-376 [doi]
- Boosting Few-Pixel Robustness Verification via Covering Verification DesignsYuval Shapira, Naor Wiesel, Shahar Shabelman, Dana Drachsler-Cohen. 377-400 [doi]
- Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled SystemsDapeng Zhi, Peixin Wang, Si Liu 0003, C.-H. Luke Ong, Min Zhang 0002. 401-426 [doi]