A novel simulation-based verification pattern for parallel executions in the cloud.

Ralph Weissnegger, Markus Schu, Martin Schachner, Kay Rmer, Christian Steger, Markus Pistauer

Browse the full EuroPLop paper archive.