ParCoSS: Efficient Parallelized Compiled Symbolic Simulation [chapter]

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
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