Hochschulschrift
A mechanized verification environment for real-time process algebras and low-level programming languages
- Alternative title
-
Eine mechanisierte Verifikationsumgebung für zeitbehaftete Prozessalgebren und Low-Level Programmiersprachen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Berlin, Technische Universität Berlin, Diss., 2014
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Technische Universität Berlin
- (when)
-
2014
- Creator
- Contributor
-
Glesner, Sabine
Olderog, Ernst-Rüdiger
Jähnichen, Stefan
- URN
-
urn:nbn:de:kobv:83-opus4-55430
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:41 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
- Bartels, Björn
- Glesner, Sabine
- Olderog, Ernst-Rüdiger
- Jähnichen, Stefan
- Technische Universität Berlin
Time of origin
- 2014
Other Objects (12)
Automated and foundational verification of low-level programs
Trustworthy Verification of Realtime Systems
Formal verification of low-level code in a model-based refinement process
Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages
RAVEN : real-time analyzing and verification environment
Mechanical Verification of Parameterized Real-Time Systems
Pervasive verification of distributed real-time systems
Verification architectures for complex real-time systems
Verification of real-time systems through lazy approximations
Specification and verification of mobile real-time systems
Deployment and empirical verification of real-time schedules
Investigation and verification of real-time schedules via simulation
Automated and foundational verification of low-level programs
Trustworthy Verification of Realtime Systems
Formal verification of low-level code in a model-based refinement process
Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages
RAVEN : real-time analyzing and verification environment
Mechanical Verification of Parameterized Real-Time Systems
Pervasive verification of distributed real-time systems
Verification architectures for complex real-time systems
Verification of real-time systems through lazy approximations
Specification and verification of mobile real-time systems
Deployment and empirical verification of real-time schedules
Investigation and verification of real-time schedules via simulation
Automated and foundational verification of low-level programs
Trustworthy Verification of Realtime Systems
Formal verification of low-level code in a model-based refinement process
Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages
RAVEN : real-time analyzing and verification environment
Mechanical Verification of Parameterized Real-Time Systems
Pervasive verification of distributed real-time systems
Verification architectures for complex real-time systems
Verification of real-time systems through lazy approximations
Specification and verification of mobile real-time systems
Deployment and empirical verification of real-time schedules