Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Graphische Benutzeroberflache fur HyKeY Henning Rohlfs
 

Summary: Graphische Benutzeroberfl¨ache f¨ur HyKeY
Henning Rohlfs
Carl von Ossietzky Universit¨at Oldenburg
Fakult¨at II
Department f¨ur Informatik
Abteilung Entwicklung korrekter Systeme
Inhaltsverzeichnis
1 Einleitung 3
2 Syntax und Semantik 5
2.1 Hybride Automaten in HySat-GUI . . . . . . . . . . . . . . . . . . . . 5
2.2 Parallelkomposition von Automaten . . . . . . . . . . . . . . . . . . . . 7
2.3 KeYmaera . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.4 PHAVer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3 Design und Implementierung 18
3.1 Undo und Redo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.1.1 Implementierung . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.2 KeYmaera Export . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.2.1 Implementierung . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.3 PHAVer Export . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.4 PHAVer Import . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22

  

Source: Appelrath, Hans-Jürgen - Department für Informatik, Carl von Ossietzky Universität Oldenburg

 

Collections: Computer Technologies and Information Sciences