Authors: Vladimir Herdt, Universität Bremen, DE; Hoang Minh Le, Universität Bremen, DE; Daniel Große, Universität Bremen, DE; Rolf Drechsler, Universität Bremen, DE
Zusammenfassung:
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.
Publication Date: 2016/06/17
Location of Publication: International Conference on Computer Aided Verification (CAV), Toronto, Canada, 2016
Keyword: Verification
