Name		Name	Last commit message	Last commit date
docs		docs
Cylinders.xml		Cylinders.xml
LandingSystem.xml		LandingSystem.xml
README.md		README.md
electroValves.xml		electroValves.xml
opened.xtr		opened.xtr
switch.xml		switch.xml

Repository files navigation

LandingSystem

Verification project of a plane landing system

About

Verification project of a plane landing system using UPPAAL

ensta uppaal verification

0 stars

0 watching

Report repository

Releases

Packages

Contributors