Abstract is missing.
- Taming the AI Monster: Monitoring of Individual Fairness for Effective Human OversightKevin Baum 0001, Sebastian Biewer, Holger Hermanns, Sven Hetmank, Markus Langer, Anne Lauber-Rönsberg, Sarah Sterz. 3-25 [doi]
- MoXI: An Intermediate Language for Symbolic Model CheckingKristin Yvonne Rozier, Rohit Dureja, Ahmed Irfan, Chris Johannsen, Karthik Nukala, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi. 26-46 [doi]
- Synchronisation in Language-Level Symmetry Reduction for Probabilistic Model CheckingIvaylo Valkov, Alastair F. Donaldson, Alice Miller 0001. 49-66 [doi]
- A Hypergraph-Based Formalization of Hierarchical Reactive Modules and a Compositional Verification MethodDaisuke Ishii. 67-84 [doi]
- Two Decades of Industrializing Formal Verification: The Reactis StoryRance Cleaveland, David Hansel, Steve Sims, Scott A. Smolka. 87-105 [doi]
- Automated Reasoning in Quantum Circuit CompilationDimitrios Thanos, Alejandro Villoria, Sebastiaan Brand, Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman. 106-134 [doi]
- Random Access on Narrow Decision Diagrams in External MemorySteffan Christ Sølvsten, Casper Moldrup Rysgaard, Jaco van de Pol. 137-145 [doi]
- Solving Constrained Horn Clauses as C Programs with CHC2CLevente Bajczi, Vince Molnár. 146-163 [doi]
- Learning the State Machine Behind a Modal Text Editor: The (Neo)Vim Case StudyPierre Ganty. 167-175 [doi]
- Tolerange: Quantifying Fault Masking in Stochastic SystemsLuciano Putruele, Ramiro Demasi, Pablo F. Castro, Pedro R. D'Argenio. 176-183 [doi]
- Software Verification Witnesses 2.0Paulína Ayaziová, Dirk Beyer 0001, Marian Lingsch Rosenfeld, Martin Spiessl, Jan Strejcek. 184-203 [doi]
- Fault Localization on Verification WitnessesDirk Beyer 0001, Matthias Kettl, Thomas Lemberger 0002. 205-224 [doi]
- Augmenting Interpolation-Based Model Checking with Auxiliary InvariantsDirk Beyer 0001, Po-Chun Chien, Nian-Ze Lee. 227-247 [doi]
- Test-Case Generation with Automata-Based Software Model CheckingMax Barth, Marie-Christine Jakobs. 248-267 [doi]