ParCoSS: Efficient Parallelized Compiled Symbolic Simulation

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


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