Timed-Automata Analysis

This project is a tool for modeling and analyzing Timed Automata using TChecker. The tool is based on Python, React and TypeScript and can be extended easily to also incorporate analysis techniques based on the created models.

Installation

First, install Python dependencies:

pip install -r requirements.txt

This project utilizes Node and Yarn Classic for development. The usual commands for React projects also apply here.

To install Timed-Automata Analysis, use:

cd frontend
yarn install

Usage

You can start Timed-Automata Analysis by running the start.sh script.

Links

• Introduction to Timed Automata on Wikipedia
• Original paper on Timed Automata by Alur and Dill