Abstract is missing.
- Linear Temporal Logic - From Infinite to Finite HorizonLucas M. Tabajara, Moshe Y. Vardi. 3-12 [doi]
- Determinization and Limit-Determinization of Emerson-Lei AutomataTobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz. 15-31 [doi]
- Automatic Discovery of Fair Paths in Infinite-State Transition SystemsAlessandro Cimatti, Alberto Griggio, Enrico Magnago. 32-47 [doi]
- Certifying DFA Bounds for Recognition and SeparationOrna Kupferman, Nir Lavee, Salomon Sickert. 48-64 [doi]
- AALpy: An Active Automata Learning LibraryEdi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler. 67-73 [doi]
- Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based ApproachJean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy 0002, Ufuk Topcu, Zhe Xu 0005. 74-90 [doi]
- Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed SystemsSara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi. 91-107 [doi]
- A Formal Semantics of the GraalVM Intermediate RepresentationBrae J. Webb, Mark Utting, Ian J. Hayes. 111-126 [doi]
- A Verified Decision Procedure for Orders in Isabelle/HOLLukas Stevens, Tobias Nipkow. 127-143 [doi]
- PJBDD: A BDD Library for Java and Multi-ThreadingDirk Beyer 0001, Karlheinz Friedberger, Stephan Holzner. 144-149 [doi]
- Live SynthesisBernd Finkbeiner, Felix Klein 0001, Niklas Metzger. 153-169 [doi]
- Faster Pushdown Reachability Analysis with Applications in Network VerificationPeter Gjøl Jensen, Stefan Schmid 0001, Morten Konggaard Schou, Jirí Srba, Juan Vanerio, Ingo van Duijn. 170-186 [doi]
- Verifying Verified CodeSiddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel. 187-202 [doi]
- Probabilistic Causes in Markov ChainsChristel Baier, Florian Funke 0002, Simon Jantsch, Jakob Piribauer, Robin Ziemek. 205-221 [doi]
- TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic EnvironmentsStefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem. 222-228 [doi]
- AQUA: Automated Quantized Inference for Probabilistic ProgramsZixin Huang, Saikat Dutta 0001, Sasa Misailovic. 229-246 [doi]
- Proving SIFA Protection of Masked Redundant CircuitsVedad Hadzic, Robert Primas, Roderick Bloem. 249-265 [doi]
- Verification by Gambling on Program SlicesMurad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik. 266-282 [doi]
- Runtime Enforcement of HyperpropertiesNorine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo. 283-299 [doi]
- Compositional Synthesis of Modular SystemsBernd Finkbeiner, Noemi Passing. 303-319 [doi]
- Event-B Refinement for Continuous Behaviours ApproximationGuillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh. 320-336 [doi]
- Incorporating Monitors in Reactive Synthesis Without Paying the PriceShaun Azzopardi, Nir Piterman, Gerardo Schneider. 337-353 [doi]
- pyNeVer: A Framework for Learning and Verification of Neural NetworksDario Guidotti, Luca Pulina, Armando Tacchella. 357-363 [doi]
- Property-Directed Verification and Robustness Certification of Recurrent Neural NetworksIgor Khmelnitsky, Daniel Neider, Rajarshi Roy 0002, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye. 364-380 [doi]