Ivannikov Institute for System Programming of the RAS

Towards an Open Framework for C Verification Tools Benchmarking.


Khoroshilov A., Mutilin V., Novikov E., Shved P., Strakh A.


In Proceedings of the Eighth International Andrei Ershov Memorial Conference «PERSPECTIVES OF SYSTEM INFORMATICS» (PSI 2011), 82-91, Novosibirsk, Russia, June 27 - July 1, 2011.

Research Group

Software Engineering

All publications during 2011 All publications