Projekte & Tools

Auf dieser Seite

• Projekte der Abteilung
  • ProCoS: Provably Correct Systems
  • CoCoN: Provably Correct Communikation Networks
  • UniForM: Universal Workbench for Formal Methods
  • PDZ: Kombination von Prozessen, Daten und Zeit
  • ForMooS: Einbettung einer objekt-orientierten formalen Methode in einen objekt-orientierten Software-Entwicklungsprozess
  • AVACS: Automatic Verification and Analysis of Complex Systems
• Werkzeuge
  • Jass-Präcompiler
  • Jassda
  • Moby/PLC
  • andere Moby-Werkzeuge
  • PEA-Toolkit
  • KeYmaera
  • Petruchio
• Studentische Projekte und Projektgruppen
  • Syspect
  • Praktikum Realzeitsysteme 2006
  • Praktikum Realzeitsysteme 2004
  • KautS