1 code implementation • 14 May 2020 • Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, Klaus Wehrle
It represents program executions using partial orders and finds the next execution using an underlying unfolding semantics.
Programming Languages Software Engineering
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
