Formale Modellierungen - Installation der Software

• Esc/Java2: eine frische Eclipse-Installation (unter Ubuntu einfach das Paket eclipse installieren). Dann Help - Install New Software. Dort http://kindsoftware.com/products/opensource/Mobius/updates/ als neue Software-Quelle eintragen und dann "Extended Static Checking" installieren. Nach dem Neustart von Eclipse muss man noch, wie hier beschrieben, ESC/Java2 konfigurieren. Wichtig ist eigentlich nur, unter "Prover Editor/Simplify/Simplify executable" die richtige Variante auszuwählen. Zum Arbeiten mit ESC/Java2 "Window - Open Perspective - Other - Verficiation".
• ArgoUML: siehe Webseite
  Unter Ubuntu Lucid:
  

  wget -q -O - http://archive.getdeb.net/getdeb-archive.key | sudo apt-key add -
  sudo sh -c 'echo "deb http://archive.getdeb.net/ubuntu lucid-getdeb apps" >> /etc/apt/sources.list.d/getdeb.list'
  sudo apt-get update
  sudo apt-get install argouml
  

  Für andere Ubuntu-Versionen lucid durch den Versionsnamen ersetzen.
• Hugo/RT: siehe Webseite
• nuSMV: Software downloaden und entpacken (Linux) bzw. starten (Windows)