- Alternative title
-
Verifikation nebenläufiger Programme unter schwachen Speichermodellen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Paderborn, Universität Paderborn, Dissertation, 2017
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Paderborn
- (who)
-
Universitätsbibliothek
- (when)
-
2017
- Creator
-
Travkin, Oleg
- URN
-
urn:nbn:de:hbz:466:2-29964
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:53 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.
Associated
- Travkin, Oleg
- Universitätsbibliothek
Time of origin
- 2017
Other Objects (12)
Verifying Visibility-Based Weak Consistency
Verifying temporal specifications of Java programs
Verifying Array Manipulating Programs with Full-Program Induction
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Expander : a system for testing and verifying functional logic programs
Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof
Verification of sequential and concurrent programs
Verifying Non-blocking Data Structures with Manual Memory Management
Advanced slicing of sequential and concurrent programs
Advanced slicing of sequential and concurrent programs
Temporal assertions for sequential and concurrent programs
Verifying Visibility-Based Weak Consistency
Verifying temporal specifications of Java programs
Verifying Array Manipulating Programs with Full-Program Induction
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Expander : a system for testing and verifying functional logic programs
Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof
Verification of sequential and concurrent programs
Verifying Non-blocking Data Structures with Manual Memory Management
Advanced slicing of sequential and concurrent programs
Advanced slicing of sequential and concurrent programs
Temporal assertions for sequential and concurrent programs
Verifying Visibility-Based Weak Consistency
Verifying temporal specifications of Java programs
Verifying Array Manipulating Programs with Full-Program Induction
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Expander : a system for testing and verifying functional logic programs
Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof
Verification of sequential and concurrent programs
Verifying Non-blocking Data Structures with Manual Memory Management
Advanced slicing of sequential and concurrent programs
Advanced slicing of sequential and concurrent programs