Skip to main content
Top

International Journal on Software Tools for Technology Transfer

Issue 2/2024

Content (7 Articles)

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

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner