Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
Concrete and symbolic linearisability checking of non-blocking concurrent data structures
Thesis (MSc)--Stellenbosch University, 2021
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | en_ZA |
| Published: |
Stellenbosch : Stellenbosch University
2021
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
Similar Items: Concrete and symbolic linearisability checking of non-blocking concurrent data structures
- An LTL verification system based on automata theory
- Design and evaluation of a formula cache for SMT-based bounded model checking tools
- Reducing communication in distributed model checking
- A comparison of two different model checking techniques
- Reducing the state explosion problem during model checking
- Comparative analysis of legislation governing maintenance check flight of aircraft