CSeq now works with three different backend tools, CBMC, ESBMC, and LLBMC, and is competitive with state-of-the-art verification tools for concurrent programs.
CSeq now works with three different backend tools, CBMC, ESBMC, and LLBMC, and is competitive with state-of-the-art verification tools for concurrent programs.
[PDF] CSeq: A Sequentialization Tool for C - University of Southampton
www.southampton.ac.uk › papers
It can be implemented as a source-to-source program transfor- mation and can be used as a concurrency pre-processor for sequential program verifi- cation tools, ...
It can thus be used as a concurrency pre-processor for many sequential program verification techniques. CSeq implements sequentialization for C and uses ...
It can thus be used as a concurrency pre-processor for many sequential program verification techniques. CSeq implements sequentialization for C and uses ...
CSeq implements sequentialization for C and uses ESBMC as sequential verification backend, which can be used as a concurrency pre-processor for many ...
Jun 15, 2020 · Bibliographic details on CSeq: A concurrency pre-processor for sequential C verification tools.
The following are verification tools that have been developed under the CSeq ... CSeq: A Concurrency Pre-processor for Sequential C Verification Tools (Tool ...
CSeq: A concurrency pre-processor for sequential C verification tools. B Fischer, O Inverso, G Parlato. 2013 28th IEEE/ACM International Conference on Automated ...
Sequentialization translates concurrent programs into (under certain assumptions) equivalent non-deterministic sequential programs and so reduces concurrent ...