Authors
Bernd Fischer, Omar Inverso, Gennaro Parlato
Publication date
2013
Conference
Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings 19
Pages
616-618
Publisher
Springer Berlin Heidelberg
Description
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 [5].
Scholar articles
B Fischer, O Inverso, G Parlato - Tools and Algorithms for the Construction and Analysis …, 2013