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

herulume / LTS Public archive

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Modelling and analysis of real-time systems

0 stars 0 forks Branches Tags Activity

Name		Name	Last commit message	Last commit date
Latest commit History 63 Commits
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.