Sprungmarken

Zum Inhalt springen. Zur Brotkrumen-Navigation springen. Zur Navigation springen. Zur Uni-globalen Navigation springen. Web-Impressum der Universität.
Carl von Ossietzky Universität Oldenburg. Department für Informatik

Navigationsmenü

Correct System Design
  • About us...
  • Persons & Contacts
  • Teaching
  • Theses
  • Projects & Tools
  • Publications
  • Jobs
  • Info & Help
[Deutsch]
Logo-Grafik
Sie sind hier: Uni . Fk. II . Informatik . theoretica . CSD . Projects & Tools

Correct System Design

Projects & Tools

On this page:

  • Projects
    • ProCoS: Provably Correct Systems (German only) ->
    • CoCoN: Provably Correct Communikation Networks (German only) ->
    • UniForM: Universal Workbench for Formal Methods (German only) ->
    • PDZ: Kombination von Prozessen, Daten und Zeit (German only) ->
    • ForMooS: Embedding of an object-oriented formal method into an object-oriented software development process ->
    • AVACS: Automatic Verification and Analysis of Complex Systems ->
  • Tools
    • Jass-Precompiler ->
    • Jassda ->
    • Moby/PLC ->
    • Other Moby-Tools ->
    • PEA toolkit ->
    • Petruchio ->
  • Students' Projects
    • Syspect ->
    • Practical Course Real-Time Systems 2006 ->
    • Practical Course Real-Time Systems 2004 ->
    • KautS ->

 


 

HTML-coding powered by htp

Help. Search. Imprint. Recommend. Print Version. Webmaster. last update: 29.May 2008

Global navigation of this university:
  • Home page
  • Search
  • The university
  • News
  • Study
  • Research
  • Schools
  • Institutions
  • Further training