| 2021 | A Formal Semantics of the GraalVM Intermediate Representation. Brae J. Webb, Mark Utting, Ian J. Hayes |
| 2021 | A Verified Decision Procedure for Orders in Isabelle/HOL. Lukas Stevens, Tobias Nipkow |
| 2021 | AALpy: An Active Automata Learning Library. Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler |
| 2021 | AQUA: Automated Quantized Inference for Probabilistic Programs. Zixin Huang, Saikat Dutta, Sasa Misailovic |
| 2021 | Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings Zhe Hou, Vijay Ganesh |
| 2021 | Automatic Discovery of Fair Paths in Infinite-State Transition Systems. Alessandro Cimatti, Alberto Griggio, Enrico Magnago |
| 2021 | Certifying DFA Bounds for Recognition and Separation. Orna Kupferman, Nir Lavee, Salomon Sickert |
| 2021 | Compositional Synthesis of Modular Systems. Bernd Finkbeiner, Noemi Passing |
| 2021 | Determinization and Limit-Determinization of Emerson-Lei Automata. Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz |
| 2021 | Event-B Refinement for Continuous Behaviours Approximation. Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh |
| 2021 | Faster Pushdown Reachability Analysis with Applications in Network Verification. Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba, Juan Vanerio, Ingo van Duijn |
| 2021 | Incorporating Monitors in Reactive Synthesis Without Paying the Price. Shaun Azzopardi, Nir Piterman, Gerardo Schneider |
| 2021 | Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach. Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu |
| 2021 | Linear Temporal Logic - From Infinite to Finite Horizon. Lucas M. Tabajara, Moshe Y. Vardi |
| 2021 | Live Synthesis. Bernd Finkbeiner, Felix Klein, Niklas Metzger |
| 2021 | Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems. Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi |
| 2021 | PJBDD: A BDD Library for Java and Multi-Threading. Dirk Beyer, Karlheinz Friedberger, Stephan Holzner |
| 2021 | Probabilistic Causes in Markov Chains. Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek |
| 2021 | Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye |
| 2021 | Proving SIFA Protection of Masked Redundant Circuits. Vedad Hadzic, Robert Primas, Roderick Bloem |
| 2021 | Runtime Enforcement of Hyperproperties. Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo |
| 2021 | TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments. Stefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem |
| 2021 | Verification by Gambling on Program Slices. Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik |
| 2021 | Verifying Verified Code. Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel |
| 2021 | pyNeVer: A Framework for Learning and Verification of Neural Networks. Dario Guidotti, Luca Pulina, Armando Tacchella |