blob: d2c8b221f939c35f09a8541e4c16effd50245852 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
[Desktop Entry]
Comment=Uppaal is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).
Exec=/usr/bin/uppaal5
GenericName=
Icon=/opt/uppaal5/res/uppaal.ico
Name=UPPAAL 5
NoDisplay=false
Path=
StartupNotify=true
Terminal=false
TerminalOptions=
Type=Application
X-KDE-SubstituteUID=false
X-KDE-Username=
|