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 Loading

  1. tchecker tchecker Public

    TChecker is an open-source verification tool for timed automata

    C++ 21 18

  2. uppaal-to-tchecker uppaal-to-tchecker Public

    C++ 3

  3. tchecker-vscode tchecker-vscode Public

    VS Code extension for TChecker

    TypeScript 2 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 1 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
  • extra-tools Public

    Extra tools to manipulate dot files, etc.

    ticktac-project/extra-tools’s past year of commit activity
    Python 0 MIT 1 0 0 Updated Jul 7, 2024
  • tchecker Public

    TChecker is an open-source verification tool for timed automata

    ticktac-project/tchecker’s past year of commit activity
    C++ 21 MIT 18 4 1 Updated Jun 9, 2024
  • tchecker-vscode Public

    VS Code extension for TChecker

    ticktac-project/tchecker-vscode’s past year of commit activity
    TypeScript 2 MIT 1 2 0 Updated Aug 7, 2023
  • tchecker-build-releases Public

    Provides scripts and Docker images to build binary releases of TChecker

    ticktac-project/tchecker-build-releases’s past year of commit activity
    Shell 0 MIT 0 0 0 Updated Aug 7, 2023
  • benchmarks Public

    Timed automata benchmarks

    ticktac-project/benchmarks’s past year of commit activity
    Shell 1 MIT 3 1 0 Updated Jul 8, 2021
  • ticktac-project.github.io Public

    Front web pages for the Ticktac project on github

    ticktac-project/ticktac-project.github.io’s past year of commit activity
    HTML 0 MIT 0 0 0 Updated Apr 30, 2020
  • uppaal-to-tchecker Public
    ticktac-project/uppaal-to-tchecker’s past year of commit activity
    C++ 3 MIT 0 2 0 Updated Apr 30, 2020
  • tcltl Public

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

    ticktac-project/tcltl’s past year of commit activity
    C 1 GPL-3.0 1 2 0 Updated Nov 26, 2019

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…