Accepted Papers

• A Dafny-based approach to thread-local information flow analysis
  Graeme Smith
• A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids
  Ahmed Nagy Abdelkhalek Mansour, Samuele Grillo, Enrico Ragaini, Matteo Rossi
• An Empirical Study Assessing Software Modeling in Alloy
  Niloofar Mansoor, Hamid Bagheri, Eunsuk Kang, Bonita Sharif
• A Verified UAV Flight Plan Generator
  Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux
• Contract-Based Specification Refinement and Repair for Mission Planning
  Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
• Differential Testing of a Verification Framework for Compiler Optimizations (Case Study)
  Mark Utting, Brae J. Webb, Ian J. Hayes
• Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning
  Marcello Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo Rossi
• Formalizing Symbolic Execution Path Explosion for Recursive Functions via Asymptotic Path Complexity
  Eli Pregerson, Shaheen Cullen-Baratloo, David Chen, Duy Lam, Max Szostak, Lucas Bang
• Goal Controller Synthesis for Self-Adaptive Systems
  Radu Calinescu, Genaína Nunes Rodrigues
• Mutant Equivalence as Monotonicity in Parametric Timed Games
  Davide Basile, Maurice ter Beek, Hendrik Göttmann, Malte Lochau
• Patch Specifications via Product Programs
  Cristian Cadar, Daniel Schemmel, Arindam Sharma
• Transparent Actor Model
  Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat
• Using cylindric algebra to support local variables in rely/guarantee concurrency
  Larissa A. Meinicke, Ian J. Hayes
• Verifying Binary Neural Networks on Continuous Input Space using Star Reachability
  Mykhailo Ivashchenko, Sung Woo Choi, Luan Nguyen, Hoang-Dung Tran