Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
- Weitere Titel
-
Korrektheit von Datenflüssen in Asynchronen Verteilten Systemen: Modellprüfung und Synthese
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Oldenburg, Universität Oldenburg, Dissertation, 2022
- Schlagwort
-
Model Checking
Petri-Netz
Verifikation
Temporale Logik
Zeitbehafteter Automat
Formale Methode
Formale Spezifikationstechnik
- Ereignis
-
Veröffentlichung
- (wo)
-
Oldenburg
- (wer)
-
BIS der Universität Oldenburg
- (wann)
-
2022
- Urheber
-
Gieseking, Manuel
- Beteiligte Personen und Organisationen
-
Olderog, Ernst-Rüdiger
Finkbeiner, Bernd
- URN
-
urn:nbn:de:gbv:715-oops-57691
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:48 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.
Beteiligte
- Gieseking, Manuel
- Olderog, Ernst-Rüdiger
- Finkbeiner, Bernd
- BIS der Universität Oldenburg
Entstanden
- 2022
Ähnliche Objekte (12)
Incomplete property checking for asynchronous reactive systems
MUST: Compiler-aided MPI correctness checking with TypeART
Runtime MPI correctness checking with a scalable tools infrastructure
Runtime MPI Correctness Checking with a Scalable Tools Infrastructure
Towards compiler-aided correctness checking of adjoint MPI applications
Efficient distributed bounded property checking
Duration of asynchronous operations in distributed systems
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
Integer linear programming-based property checking for asynchronous reactive systems
Complexity results for checking distributed implementability
Distributed asynchronous beamforming for the MISO interference channel
Synthesis of asynchronous distributed systems from global specifications
Incomplete property checking for asynchronous reactive systems
MUST: Compiler-aided MPI correctness checking with TypeART
Runtime MPI correctness checking with a scalable tools infrastructure
Runtime MPI Correctness Checking with a Scalable Tools Infrastructure
Towards compiler-aided correctness checking of adjoint MPI applications
Efficient distributed bounded property checking
Duration of asynchronous operations in distributed systems
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
Integer linear programming-based property checking for asynchronous reactive systems
Complexity results for checking distributed implementability
Distributed asynchronous beamforming for the MISO interference channel
Synthesis of asynchronous distributed systems from global specifications
Incomplete property checking for asynchronous reactive systems
MUST: Compiler-aided MPI correctness checking with TypeART
Runtime MPI correctness checking with a scalable tools infrastructure
Runtime MPI Correctness Checking with a Scalable Tools Infrastructure
Towards compiler-aided correctness checking of adjoint MPI applications
Efficient distributed bounded property checking
Duration of asynchronous operations in distributed systems
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
Integer linear programming-based property checking for asynchronous reactive systems
Complexity results for checking distributed implementability
Distributed asynchronous beamforming for the MISO interference channel