Effective Techniques for Stateless Model Checking

Effective Techniques for Stateless Model Checking

Stateless model checking is a technique for testing and verifying concurrent programs, based on exploring the different ways in which operations executed by the processes of a concurrent program can be scheduled. The goal of the technique is to expose all behaviours that can be a result of schedulin...

Full description

Bibliographic Details
Main Author: Aronis, Stavros
Format: Doctoral Thesis
Language:English
Published: Uppsala universitet, Avdelningen för datalogi 2018
Subjects:
Concurrent
Parallel
Model Checking
Partial Order Reduction
Dynamic Partial Order Reduction
DPOR
Sleep Set Blocking
Source Sets
Source DPOR
Wakeup Trees
Optimal DPOR
Observers
Verification
Bounding
Exploration Tree Bounding
Testing
Erlang
Concuerror
Protocol
Chain Replication
CORFU
Computer Sciences
Datavetenskap (datalogi)
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-333541
http://nbn-resolving.de/urn:isbn:978-91-513-0160-0

Internet

http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-333541
http://nbn-resolving.de/urn:isbn:978-91-513-0160-0

Similar Items