Hochschulschrift
A mechanized verification environment for real-time process algebras and low-level programming languages
- Weitere Titel
-
Eine mechanisierte Verifikationsumgebung für zeitbehaftete Prozessalgebren und Low-Level Programmiersprachen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Berlin, Technische Universität Berlin, Diss., 2014
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Technische Universität Berlin
- (wann)
-
2014
- Urheber
- Beteiligte Personen und Organisationen
-
Glesner, Sabine
Olderog, Ernst-Rüdiger
Jähnichen, Stefan
- URN
-
urn:nbn:de:kobv:83-opus4-55430
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:41 MEZ
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
- Bartels, Björn
- Glesner, Sabine
- Olderog, Ernst-Rüdiger
- Jähnichen, Stefan
- Technische Universität Berlin
Entstanden
- 2014
Ähnliche Objekte (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
Mechanical Verification of Parameterized Real-Time Systems
RAVEN : real-time analyzing and verification environment
Pervasive verification of distributed real-time systems
Verification architectures for complex real-time systems
Deployment and empirical verification of real-time schedules
Verification of real-time systems through lazy approximations
Specification and verification of mobile real-time systems
Technical Report accompanying: Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages
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
Mechanical Verification of Parameterized Real-Time Systems
RAVEN : real-time analyzing and verification environment
Pervasive verification of distributed real-time systems
Verification architectures for complex real-time systems
Deployment and empirical verification of real-time schedules
Verification of real-time systems through lazy approximations
Specification and verification of mobile real-time systems
Technical Report accompanying: Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages
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
Mechanical Verification of Parameterized Real-Time Systems
RAVEN : real-time analyzing and verification environment
Pervasive verification of distributed real-time systems
Verification architectures for complex real-time systems
Deployment and empirical verification of real-time schedules
Verification of real-time systems through lazy approximations
Specification and verification of mobile real-time systems