Overview
Legacy version used with LDV Tools.
Please use upstream version:
https://cpachecker.sosy-lab.org/
Members
Manager: Alexey Khoroshilov, Evgeny Novikov, Vadim Mutilin
Developer: Anton Vasilyev, Denis Efremov, Evgeny Novikov, Ilja Zakharov, Ilya Shchepetkov, Mikhail Mandrykin, Pavel Andrianov, Vadim Mutilin, Vitaly Mordan, Vladimir Gratinskiy
Reporter: Alexandr Strakh, Marina Makienko, Pavel Shved
Project Creator: Alexey Khoroshilov, Mikhail Mandrykin