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