1. Formal Methods for Industrial Critical Systems

   • Jan Friso Groote
   • Marieke Huisman

   General Open access 15 February 2024 Pages: 127 - 129

2. Deductive verification of smart contracts with Dafny

   • Franck Cassez
   • Joanne Fuller
   • Horacio Mijail Antón Quiles

   General 20 February 2024 Pages: 131 - 145

3. Generating interactive documents for domain-specific validation of formal models

   • Fabian Vu
   • Christopher Happe
   • Michael Leuschel

   General Open access 20 February 2024 Pages: 147 - 168

4. Monitoring of spatio-temporal properties with nonlinear SAT solvers

   • André Matos Pedro
   • Tomás Silva
   • Carla Ferreira

   General Open access 22 February 2024 Pages: 169 - 188

5. Certification of avionic software based on machine learning: the case for formal monotony analysis

   • Mélanie Ducoffe
   • Christophe Gabreau
   • Eric Guillaume Vidot

   General 12 March 2024 Pages: 189 - 205

6. Formally verifying decompositions of stochastic specifications

   • Anton Hampus
   • Mattias Nyberg

   General Open access 21 February 2024 Pages: 207 - 228

7. Reusable formal models for concurrency and communication in custom real-time operating systems

   • Julius Adelt
   • Julian Gebker
   • Paula Herber

   General Open access 20 February 2024 Pages: 229 - 245