Ausgabe 2/2024
Inhalt (7 Artikel)
Open Access
General
Formal Methods for Industrial Critical Systems
Jan Friso Groote, Marieke Huisman
General
Deductive verification of smart contracts with Dafny
Franck Cassez, Joanne Fuller, Horacio Mijail Antón Quiles
Open Access
General
Generating interactive documents for domain-specific validation of formal models
Fabian Vu, Christopher Happe, Michael Leuschel
Open Access
General
Monitoring of spatio-temporal properties with nonlinear SAT solvers
André Matos Pedro, Tomás Silva, Tiago Sequeira, João Lourenço, João Costa Seco, Carla Ferreira
General
Certification of avionic software based on machine learning: the case for formal monotony analysis
Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober, Eric Guillaume Vidot
Open Access
General
Formally verifying decompositions of stochastic specifications
Anton Hampus, Mattias Nyberg
Open Access
General
Reusable formal models for concurrency and communication in custom real-time operating systems
Julius Adelt, Julian Gebker, Paula Herber