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

Abstract:

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