Hochschulschrift
Symbolic methods applied to formal verification and synthesis in embedded systems design
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826571930
3826571932
- Dimensions
-
21 cm
- Extent
-
X, 158 S.
- Edition
-
Als Ms. gedr.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Zugl.: Zürich, Techn. Hochsch., Diss., 2000
- Bibliographic citation
-
TIK-Schriftenreihe / Eidgenössische Technische Hochschule Zürich ; Nr. 36
- Keyword
-
Eingebettetes System
Systementwurf
Verifikation
Formale Spezifikationstechnik
Echtzeitverarbeitung
Entscheidungsgraph
Eingebettetes System
Systementwurf
Verifikation
Formale Spezifikationstechnik
Model Checking
Entscheidungsgraph
Eingebettetes System
Systementwurf
Datenfluss
Kontrollfluss
Scheduling
Entscheidungsgraph
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Shaker
- (when)
-
2000
- Creator
-
Strehl, Karsten
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:26 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Strehl, Karsten
- Shaker
Time of origin
- 2000
Other Objects (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
Formal Hardware/Firmware Co-Verification of Optimized Embedded Systems
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Formal protocol verification applied : 07421 abstracts collection ; Dagstuhl seminar
Integrating Symbolic Execution, Debugging and Verification
Self-Verification - Verification of Embedded Systems after Deployment
Integrating formal verification into the model-based development of adaptive embedded systems
Optimized hybrid verification of embedded software
Complete symbolic simulation of systemC models : efficient formal verification of finite non-terminating programs
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
Formal Hardware/Firmware Co-Verification of Optimized Embedded Systems
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Formal protocol verification applied : 07421 abstracts collection ; Dagstuhl seminar
Integrating Symbolic Execution, Debugging and Verification
Self-Verification - Verification of Embedded Systems after Deployment
Integrating formal verification into the model-based development of adaptive embedded systems
Optimized hybrid verification of embedded software
Complete symbolic simulation of systemC models : efficient formal verification of finite non-terminating programs
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
Formal Hardware/Firmware Co-Verification of Optimized Embedded Systems
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Formal protocol verification applied : 07421 abstracts collection ; Dagstuhl seminar
Integrating Symbolic Execution, Debugging and Verification
Self-Verification - Verification of Embedded Systems after Deployment
Integrating formal verification into the model-based development of adaptive embedded systems
Optimized hybrid verification of embedded software