Artifact for [Efficient Verification of Lingua Franca Programs] submitted to TACAS 2026

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Mario Reja, Mikheil Rukhaia, Kyungmin Bae, Peter Csaba Ölveczky, M. Marin
DOI: 10.5281/zenodo.18152767
Cited by: 0

Abstract

This is the artifact for the paper "Efficient Verification of Lingua Franca Programs" (TACAS 2026) Please refer to our TACAS artifact page, which contains detailed instructions on how to use the software. The source code for `LF-mc` is available on GitHub as well.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
5 January 2026