„Model-checking“

Suchergebnisse

1.904 Treffer

• Realization of Lima – Realization of LIMA and Implementation of a Translator for C
  Kastmann, Vanessa 2016 AV Akademikerverlag
• Explicit state model checking in the development process for interlocking software systems
  Biechele, Peter ; Leue, Stefan 2013 Bibliothek der Universität Konstanz
• Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN
  Kamel, Moataz ; Leue, Stefan 2008 Bibliothek der Universität Konstanz
• Unmasking fault tolerance – quantifying deterministic recovery dynamics in probabilistic environments
  Müllner, Nils Henning 2014 BIS-Verlag der Carl von Ossietzky Universität Oldenburg