Giters

herulume / LTS

Modelling and analysis of real-time systems

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

uppaalltstransition-systemsreal-timetimed-automatahaskelluniversity-project

AC

Modelling and analysis of real-time systems using UPPAAL and Monads in Haskell.

About

Modelling and analysis of real-time systems

uppaalltstransition-systemsreal-timetimed-automatahaskelluniversity-project

Languages

Language:Haskell 100.0%