52 citations · 155 across the 40 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015
Well Structured Transition Systems with History
Parosh Abdulla, Giorgio Delzanno, Marco Montali
We propose a formal model of concurrent systems in which the history of a computation is explicitly represented as a collection of events that provide a view of a sequence of confi…
cs.LO2015★ 7 cited
Stateless Model Checking for TSO and PSO
Parosh Abdulla, Stavros Aronis, Mohammed Faouzi Atig +3
We present a technique for efficient stateless model checking of programs that execute under the relaxed memory models TSO and PSO. The basis for our technique is a novel represent…