Skip to main content

International Journal on Software Tools for Technology Transfer

Ausgabe 2/2024

Inhalt (7 Artikel)

Open Access General

Formal Methods for Industrial Critical Systems

Jan Friso Groote, Marieke Huisman


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


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

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner