Technical University of Munic / University of Berlin / Linux port Stephan / /
IndustryTerm
model checking algorithm / on-line help system / parallel algorithms / dedicated model checking algorithm / cartesian products / parallel systems / model checker algorithm / /
OperatingSystem
Linux / /
Organization
Humboldt-University / German Research Foundation / Technical University of Munic / European Union / /
Person
Robert Riemann / Bernd Grahlmann / Thomas Thielke Implemented / Javier Esparza / Eberhard Meisel / Carola Pohl Implemented / Farzad Eghtessadi / Martin Ackermann Implemented / Matthias Damm / Michael Kater Implemented / Stephan Merkel Improved / M. Broy Hauptseminar / Tobias Himstedt Implemented / Burkhard Graves Implemented / Burkhard Bieber Implemented / Fatma Uzel / Marc Langnickel / Lars Jenner / Bernhard SchŠtz / Christian Harboeck Michael Karas Betreuer / Hans Fleischhack / Hartmut TrŸe / Eike Best / Stefan Ršmer / /
Position
dedicated model / Editor / high-level net editor / /
ProgrammingLanguage
C / /
Technology
central model checker algorithm / Linux / model checking algorithm / dedicated model checking algorithm / simulation / /
Technische UniversitŠt MŸnchen FakultŠt fŸr Informatik Lehrstuhl fŸr Programmiermethodik und Verteilte Systeme Univ.-Prof. Dr. M. Broy