A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
ParCoSS: Efficient Parallelized Compiled Symbolic Simulation
[chapter]
2016
Lecture Notes in Computer Science
We present the tool ParCoSS for verification of cooperative multithreading programs. Our tool is based on the recently proposed Compiled Symbolic Simulation (CSS) technique. Additionally, we employ parallelization to further speed-up the verification. The potential of our tool is shown by evaluation.
doi:10.1007/978-3-319-41540-6_10
fatcat:hjy3tpw34zcpvgal3nc3bweuiu