Skip to content

@ticktac-project TickTac Project

All

    Repositories list

    8 repositories

    • tchecker

      Public
      TChecker is an open-source verification tool for timed automata
      model-checkingtimed-automata
      model-checkingtimed-automata
      C++
      •
      MIT License
      •22•29•4•1•Updated Dec 9, 2025Dec 9, 2025

    • extra-tools

      Public
      Extra tools to manipulate dot files, etc.
      Python
      •
      MIT License
      •1•0•0•0•Updated Jul 9, 2025Jul 9, 2025

    • tchecker-vscode

      Public
      VS Code extension for TChecker
      TypeScript
      •
      MIT License
      •1•2•2•0•Updated Aug 7, 2023Aug 7, 2023

    • tchecker-build-releases

      Public
      Provides scripts and Docker images to build binary releases of TChecker
      Shell
      •
      MIT License
      •0•0•0•0•Updated Aug 7, 2023Aug 7, 2023

    • benchmarks

      Public
      Timed automata benchmarks
      Shell
      •
      MIT License
      •3•2•1•0•Updated Jul 8, 2021Jul 8, 2021

    • ticktac-project.github.io

      Public
      Front web pages for the Ticktac project on github
      HTML
      •
      MIT License
      •0•0•0•0•Updated Apr 30, 2020Apr 30, 2020

    • uppaal-to-tchecker

      Public
      C++
      •
      MIT License
      •0•3•2•0•Updated Apr 30, 2020Apr 30, 2020

    • tcltl

      Public
      LTL model checker for timed-automata based on TChecker and Spot
      C
      •
      GNU General Public License v3.0
      •1•2•2•0•Updated Nov 26, 2019Nov 26, 2019
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.