EasyChair Smart Slide
Stateless model-checking under the data-centric view
Stateless model-checking under the data-centric view