TickTac Project

icon indicating a website link https://ticktac-project.github.io

icon location Efficient Techniques and Tools for the Verification and Synthesis of Real-Time Systems. This work was partially funded by ANR (ANR-18-CE40-0015).

Results 1 repositories owned by TickTac Project

tchecker

20
Stars
16
Forks
Watchers

TChecker is an open-source verification tool for timed automata

verified publisher icon ticktac-project