- Sprache
-
Deutsch
- Umfang
-
viii, 214, XIX Seiten
- ISBN
-
978-3-86247-545-2
- Identifier
-
1080530797
- Reihe
-
Design, test and verification of embedded systems; Vol. 08
Thema
Schaltwerk ; Unvollständigkeit ; Blackbox ; Model Checking ; Temporale Logik ; Binäres Entscheidungsdiagramm ; Erfüllbarkeitsproblem ; Bounded Model Checking ; Hochschulschrift
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:50 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Modeling the unknown using quantification
Verifying real-time systems
Über Craigsche Interpolation und deren Anwendung in der formalen Modellprüfung
Bekannte Unbekannte : formale Methoden in Anwesenheit unbekannter Werte
Preprocessing for property checking of sequential circuits on the register transfer level = Vorverarbeitung für die Überprüfung von Eigenschaften sequentieller Schaltungen auf der Register-Transfer-Ebene
Symbolische LTL-Verifikation von Petrinetzen
Automated validation and verification of railway specific components and systems
Model checking pushdown systems
Systems and software verification : model checking techniques and tools
Verifikation unvollständiger Schaltkreise
Eigenschaftsbasierte Abstraktion für die formale Verifikation von Komponentensystemen
On the complexity of modal logic variants and their fragments
Modeling the unknown using quantification
Verifying real-time systems
Über Craigsche Interpolation und deren Anwendung in der formalen Modellprüfung
Bekannte Unbekannte : formale Methoden in Anwesenheit unbekannter Werte
Preprocessing for property checking of sequential circuits on the register transfer level = Vorverarbeitung für die Überprüfung von Eigenschaften sequentieller Schaltungen auf der Register-Transfer-Ebene
Symbolische LTL-Verifikation von Petrinetzen
Automated validation and verification of railway specific components and systems
Model checking pushdown systems
Systems and software verification : model checking techniques and tools
Verifikation unvollständiger Schaltkreise
Eigenschaftsbasierte Abstraktion für die formale Verifikation von Komponentensystemen
On the complexity of modal logic variants and their fragments
Modeling the unknown using quantification
Verifying real-time systems
Über Craigsche Interpolation und deren Anwendung in der formalen Modellprüfung
Bekannte Unbekannte : formale Methoden in Anwesenheit unbekannter Werte
Preprocessing for property checking of sequential circuits on the register transfer level = Vorverarbeitung für die Überprüfung von Eigenschaften sequentieller Schaltungen auf der Register-Transfer-Ebene
Symbolische LTL-Verifikation von Petrinetzen
Automated validation and verification of railway specific components and systems
Model checking pushdown systems
Systems and software verification : model checking techniques and tools
Verifikation unvollständiger Schaltkreise
Eigenschaftsbasierte Abstraktion für die formale Verifikation von Komponentensystemen