Formal Methods for Industrial Critical Systems Jan Friso GrooteMarieke Huisman General Open access 15 February 2024 Pages: 127 - 129
Deductive verification of smart contracts with Dafny Franck CassezJoanne FullerHoracio Mijail Antón Quiles General 20 February 2024 Pages: 131 - 145
Generating interactive documents for domain-specific validation of formal models Fabian VuChristopher HappeMichael Leuschel General Open access 20 February 2024 Pages: 147 - 168
Monitoring of spatio-temporal properties with nonlinear SAT solvers André Matos PedroTomás SilvaCarla Ferreira General Open access 22 February 2024 Pages: 169 - 188
Certification of avionic software based on machine learning: the case for formal monotony analysis Mélanie DucoffeChristophe GabreauEric Guillaume Vidot General 12 March 2024 Pages: 189 - 205
Formally verifying decompositions of stochastic specifications Anton HampusMattias Nyberg General Open access 21 February 2024 Pages: 207 - 228
Reusable formal models for concurrency and communication in custom real-time operating systems Julius AdeltJulian GebkerPaula Herber General Open access 20 February 2024 Pages: 229 - 245