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.
CITATION STYLE
Herdt, V., Le, H. M., Große, D., & Drechsler, R. (2016). Parcoss: Efficient parallelized compiled symbolic simulation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9780, pp. 177–183). Springer Verlag. https://doi.org/10.1007/978-3-319-41540-6_10
Mendeley helps you to discover research relevant for your work.