Giters
TickTac Project (ticktac-project)

TickTac Project

ticktac-project

Geek Repo

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

Home Page:https://ticktac-project.github.io

Github PK Tool:Github PK Tool

TickTac Project's repositories

tchecker

TChecker is an open-source verification tool for timed automata

Language:C++License:MITStargazers:21Issues:11Issues:61

tchecker-vscode

VS Code extension for TChecker

Language:TypeScriptLicense:MITStargazers:2Issues:0Issues:0

uppaal-to-tchecker

Language:C++License:MITStargazers:2Issues:2Issues:2

tcltl

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

Language:CLicense:GPL-3.0Stargazers:1Issues:2Issues:2

benchmarks

Timed automata benchmarks

Language:ShellLicense:MITStargazers:0Issues:5Issues:1

extra-tools

Extra tools to manipulate dot files, etc.

Language:PythonLicense:MITStargazers:0Issues:3Issues:0

tchecker-build-releases

Provides scripts and Docker images to build binary releases of TChecker

Language:ShellLicense:MITStargazers:0Issues:2Issues:0

ticktac-project.github.io

Front web pages for the Ticktac project on github

Language:HTMLLicense:MITStargazers:0Issues:4Issues:0