CSeq: a concurrency pre-processor for sequential C verification tools
Bernd Fischer, Omar Inverso, Gennaro Parlato[doi] [Google Scholar] [DBLP] [Citeseer]
Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering
IEEE Press
Pages 710-713
2013
Topic(s): tools verification
IEEE Press
Pages 710-713
2013
Topic(s): tools verification