Aarhus University Seal / Aarhus Universitets segl

Stateless Model Checking Under a Reads-Value-From Equivalence

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

Stateless model checking (SMC) is one of the standard approaches to the verification of concurrent programs. As scheduling non-determinism creates exponentially large spaces of thread interleavings, SMC attempts to partition this space into equivalence classes and explore only a few representatives from each class. The efficiency of this approach depends on two factors: (a) the coarseness of the partitioning, and (b) the time to generate representatives in each class. For this reason, the search for coarse partitionings that are efficiently explorable is an active research challenge.
OriginalsprogEngelsk
TitelComputer aided verification, CAV 2021 : Proceedings
RedaktørerAlexandra Silva, K. Rustan, M. Leino
Antal sider26
Vol/bind1
UdgivelsesstedCham
ForlagSpringer
Udgivelsesår2021
Sider341-366
ISBN (trykt)978-3-030-81684-1
ISBN (Elektronisk)978-3-030-81685-8
DOI
StatusUdgivet - 2021
Begivenhed33rd International Conference, CAV 2021 - Virtual event
Varighed: 20 jul. 202123 jul. 2021

Konference

Konference33rd International Conference, CAV 2021
LokationVirtual event
Periode20/07/202123/07/2021
SerietitelLecture Notes in Computer Science
Vol/bind12759
ISSN0302-9743

Se relationer på Aarhus Universitet Citationsformater

ID: 222928294