Cseq: a sequentialization tool for C. (Competition contribution) Sequentialization translates concurrent programs into equivalent non-deterministic sequential programs so that the different concurrent schedules no longer need to be handled explicitly. It can thus be used as a concurrency pre-processor for many sequential program verification techniques. CSeq implements sequentialization for C and uses ESBMC as sequential verification backend .
References in zbMATH (referenced in 2 articles , 1 standard article )
Showing results 1 to 2 of 2.
- Beyer, Dirk: Second competition on software verification. (Summary of SV-COMP 2013) (2013)
- Fischer, Bernd; Inverso, Omar; Parlato, Gennaro: Cseq: a sequentialization tool for C. (Competition contribution) (2013)