Explanation of the Model Checker Verification Results

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
Berlin, Humboldt-Universität zu Berlin, Dissertation, 2023

Schlagwort
Softwareentwicklung
Verifikation
Formale Methode
Systementwurf
Model Checking
Formale Spezifikationstechnik

Ereignis
Veröffentlichung
(wo)
Berlin
(wer)
Humboldt-Universität zu Berlin
(wann)
2023
Urheber
Beteiligte Personen und Organisationen
Grunske, Lars
Tichy, Matthias
Vogel, Thomas

DOI
10.18452/27907
URN
urn:nbn:de:kobv:11-110-18452/28605-7
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:29 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

Entstanden

  • 2023

Ähnliche Objekte (12)

Solibri Model Checker, [...]. Grundkurs

Solibri Model Checker, [...]. Grundkurs

Solibri Model Checker, [...]. Grundkurs

Solibri Model Checker, [...]. Grundkurs

Solibri Model Checker, [...]. Aufbaukurs

Solibri Model Checker, [...]. Aufbaukurs

MCMAS: an open-source model checker for the verification of multi-agent systems

MCMAS: an open-source model checker for the verification of multi-agent systems

CAVA – A Verified Model Checker

Hochschulschrift

CAVA – A Verified Model Checker

The probabilistic model checker STORM

The probabilistic model checker STORM

The probabilistic model checker Storm

The probabilistic model checker Storm

Checker's (Bestand)

Archivbestand

Checker's (Bestand)

Deutsch-Checker

Lehrmittel

Deutsch-Checker

Milk Checker

Fotografie

Milk Checker

Container-Checker

Archivale

Container-Checker

A user study for evaluation of formal verification results and their explanation at Bosch

A user study for evaluation of formal verification results and their explanation at Bosch

Verbundene Objekte