| ||||
| ||||
![]() Title:Stateless model-checking under the data-centric view Authors:Andreas Pavlogiannis Conference:FRIDA 2018 Tags:algorithms, Concurrency and model-checking Abstract: Verifying concurrent systems is notoriously hard due to the inherent non-determinism in interprocess communication. Effective verification methods rely on dynamic partial order reduction (DPOR) techniques, which can reason about system correctness without exploring all concurrent traces explicitly. DPOR is traditionally based on the Mazurkiewicz equivalence, which distinguishes between traces based on the relative order of their conflicting events. Stateless model-checking under the data-centric view ![]() Stateless model-checking under the data-centric view | ||||
Copyright © 2002 – 2025 EasyChair |