Hochschulschrift
Symbolic methods applied to formal verification and synthesis in embedded systems design
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826571930
3826571932
- Maße
-
21 cm
- Umfang
-
X, 158 S.
- Ausgabe
-
Als Ms. gedr.
- Sprache
-
Englisch
- Anmerkungen
-
Ill., graph. Darst.
Zugl.: Zürich, Techn. Hochsch., Diss., 2000
- Erschienen in
-
TIK-Schriftenreihe / Eidgenössische Technische Hochschule Zürich ; Nr. 36
- Schlagwort
-
Eingebettetes System
Systementwurf
Verifikation
Formale Spezifikationstechnik
Echtzeitverarbeitung
Entscheidungsgraph
Eingebettetes System
Systementwurf
Verifikation
Formale Spezifikationstechnik
Model Checking
Entscheidungsgraph
Eingebettetes System
Systementwurf
Datenfluss
Kontrollfluss
Scheduling
Entscheidungsgraph
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Shaker
- (wann)
-
2000
- Urheber
-
Strehl, Karsten
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:06 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Strehl, Karsten
- Shaker
Entstanden
- 2000
Ähnliche Objekte (12)
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Symbolic methods for formal verification of industrial control software
Formal protocol verification applied : 07421 executive summary
A symbolic model checking approach in formal verification of distributed systems
Formal Hardware/Firmware Co-Verification of Optimized Embedded Systems
Formal protocol verification applied : 07421 abstracts collection ; Dagstuhl seminar
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Integrating Symbolic Execution, Debugging and Verification
Integrating formal verification into the model-based development of adaptive embedded systems
Complete symbolic simulation of systemC models : efficient formal verification of finite non-terminating programs
Self-Verification - Verification of Embedded Systems after Deployment
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Symbolic methods for formal verification of industrial control software
Formal protocol verification applied : 07421 executive summary
A symbolic model checking approach in formal verification of distributed systems
Formal Hardware/Firmware Co-Verification of Optimized Embedded Systems
Formal protocol verification applied : 07421 abstracts collection ; Dagstuhl seminar
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Integrating Symbolic Execution, Debugging and Verification
Integrating formal verification into the model-based development of adaptive embedded systems
Complete symbolic simulation of systemC models : efficient formal verification of finite non-terminating programs
Self-Verification - Verification of Embedded Systems after Deployment
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Symbolic methods for formal verification of industrial control software
Formal protocol verification applied : 07421 executive summary
A symbolic model checking approach in formal verification of distributed systems
Formal Hardware/Firmware Co-Verification of Optimized Embedded Systems
Formal protocol verification applied : 07421 abstracts collection ; Dagstuhl seminar
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Integrating Symbolic Execution, Debugging and Verification
Integrating formal verification into the model-based development of adaptive embedded systems
Complete symbolic simulation of systemC models : efficient formal verification of finite non-terminating programs