Skip to content

Latest commit

 

History

History
 
 

xta-analysis

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
bin
bin
 
 
src
src
 
 
README.md
README.md
 
 
build.gradle.kts
build.gradle.kts
 
 

README.md

Overview

This project contains analysis modules related to the Uppaal Timed Automata (XTA) formalism. Its main purpose is to enable the algorithms to operate over XTA models.

Related projects

  • analysis: Common analysis modules.
  • xta: Classes to represent XTAs and a domain specific language (DSL) to parse XTAs from a textual representation.
  • xta-cli: An executable tool (command line) for running analyses on XTAs.