2 code implementations • 3 Jul 2015 • César Rodríguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening
Over benchmarks with busy-waits, among others, our experiments show a dramatic reduction in the number of executions when compared to a state-of-the-art DPOR.
Logic in Computer Science Programming Languages D.2.4