Echtzeitsysteme/tchecker: V26.03.10

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

Read full text
Authors: Frédéric Herbreteau, Gérald Point, alzeha, PhilippSchlehuberCaissier, Paula, schlepil
DOI: 10.5281/zenodo.18887940
Cited by: 0

Abstract

TChecker is an open-source verification tool for timed automata

Fields of Study & Subjects

Formal Methods in Verification Petri Nets in System Modeling Real-Time Systems Scheduling

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
6 March 2026
Language
EN