This repository was archived by the owner on Jun 24, 2020. It is now read-only.

Repository navigation

LTS

Public archive

About

Modelling and analysis of real-time systems

haskell lts real-time timed-automata transition-systems university-project uppaal

0 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
Adventures		Adventures
UPPAAL		UPPAAL
.gitignore		.gitignore
README.md		README.md

Repository files navigation

AC

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

About

Modelling and analysis of real-time systems

haskell lts real-time timed-automata transition-systems university-project uppaal

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages