Skip to content
@ticktac-project

TickTac Project

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

Popular repositories

  1. tchecker tchecker Public

    TChecker is an open-source verification tool for timed automata

    C++ 19 16

  2. tchecker-vscode tchecker-vscode Public

    VS Code extension for TChecker

    TypeScript 2 1

  3. uppaal-to-tchecker uppaal-to-tchecker Public

    C++ 1

  4. tcltl tcltl Public

    LTL model checker for timed-automata based on TChecker and Spot

    C 1 1

  5. benchmarks benchmarks Public

    Timed automata benchmarks

    Shell 3

  6. ticktac-project.github.io ticktac-project.github.io Public

    Front web pages for the Ticktac project on github

    HTML

Repositories

Showing 8 of 8 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…