Hochschulschrift
Algorithms and Tools for Verification and Testing of Asynchronous Programs
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Kaiserslautern, Technische Universität Kaiserslautern, Diss., 2016
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Technische Universität Kaiserslautern
- (wann)
-
2016
- Urheber
-
Wang, Zilong
- Beteiligte Personen und Organisationen
-
Majumdar, Rupak
- URN
-
urn:nbn:de:hbz:386-kluedo-43542
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:44 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
- Wang, Zilong
- Majumdar, Rupak
- Technische Universität Kaiserslautern
Entstanden
- 2016
Ähnliche Objekte (12)
Stratified commutativity in verification algorithms for concurrent programs
Fixpoint transformations and parallel asynchronous iterative algorithms
Debugging asynchronous programs in Python
Verification of sequential and concurrent programs
Asynchronous programs on IoT devices
Heap-based reasoning about asynchronous programs
Cartesian abstraction and verification of multithreaded programs
Mechanized verification of imperative and functional programs
Verification of pointer programs
Lectures on proof verification and approximation algorithms
Induction-based Verification of Synchronous and Hybrid Programs
Modular specification and verification of object oriented programs
Stratified commutativity in verification algorithms for concurrent programs
Fixpoint transformations and parallel asynchronous iterative algorithms
Debugging asynchronous programs in Python
Verification of sequential and concurrent programs
Asynchronous programs on IoT devices
Heap-based reasoning about asynchronous programs
Cartesian abstraction and verification of multithreaded programs
Mechanized verification of imperative and functional programs
Verification of pointer programs
Lectures on proof verification and approximation algorithms
Induction-based Verification of Synchronous and Hybrid Programs
Modular specification and verification of object oriented programs
Stratified commutativity in verification algorithms for concurrent programs
Fixpoint transformations and parallel asynchronous iterative algorithms
Debugging asynchronous programs in Python
Verification of sequential and concurrent programs
Asynchronous programs on IoT devices
Heap-based reasoning about asynchronous programs
Cartesian abstraction and verification of multithreaded programs
Mechanized verification of imperative and functional programs
Verification of pointer programs
Lectures on proof verification and approximation algorithms
Induction-based Verification of Synchronous and Hybrid Programs