Skip to main content.
Related Sites:
HESSEL TECH
|
UPPAAL
|
UPPAAL PORT
|
TIMES
|
UPPAAL CORA
|
UPPAAL TRON
|
SDL2XTA
UPPAAL
Documentation Overview
Navigation:
Home
|
About
|
Documentation
|
Download
|
Publications
CoVer version 1.4
Basic workflow
Files needed Model.xml, Observer.obs, and Property.q. The trace can be saved in Trace.xml .
Overview
Flags
Property BNF
Observer BNF
Output Traces DTD
Configuration File DTD
First Example
Second Example