- Weitere Titel
-
Symbolische Methoden zur formalen Verifikation von industrieller Steuerungssoftware
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
RWTH Aachen University, Dissertation, 2021
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2021
- Urheber
- Beteiligte Personen und Organisationen
- DOI
-
10.18154/RWTH-2021-10633
- URN
-
urn:nbn:de:101:1-2022011502295517007705
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:34 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.
Beteiligte
- Bohlender, Dimitri
- Kowalewski, Stefan
- Hermanns, Holger
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2021
Ähnliche Objekte (12)
Formal Verification of Industrial Software and Neural Networks
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Towards cooperative software verification with test generation and formal verification
A symbolic model checking approach in formal verification of distributed systems
Symbolic execution and program synthesis : a general methodology for software verification
Symbolic methods applied to formal verification and synthesis in embedded systems design
Integrating Symbolic Execution, Debugging and Verification
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Complete symbolic simulation of systemC models : efficient formal verification of finite non-terminating programs
Formal verification of object-oriented software : international conference ; revised selected papers
Formal verification of object-oriented software : international conference ; revised selected papers
Formal Verification of Industrial Software and Neural Networks
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Towards cooperative software verification with test generation and formal verification
A symbolic model checking approach in formal verification of distributed systems
Symbolic execution and program synthesis : a general methodology for software verification
Symbolic methods applied to formal verification and synthesis in embedded systems design
Integrating Symbolic Execution, Debugging and Verification
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Complete symbolic simulation of systemC models : efficient formal verification of finite non-terminating programs
Formal verification of object-oriented software : international conference ; revised selected papers
Formal verification of object-oriented software : international conference ; revised selected papers
Formal Verification of Industrial Software and Neural Networks
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Towards cooperative software verification with test generation and formal verification
A symbolic model checking approach in formal verification of distributed systems
Symbolic execution and program synthesis : a general methodology for software verification
Symbolic methods applied to formal verification and synthesis in embedded systems design
Integrating Symbolic Execution, Debugging and Verification
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Complete symbolic simulation of systemC models : efficient formal verification of finite non-terminating programs
Formal verification of object-oriented software : international conference ; revised selected papers