Authors
- Jan Kouba:
kouba.honza at gmail.com
- Ondrej Krč-Jediný:
ondro.krc at gmail.com
- Ondřej Šerý:
ondrej.sery at d3s.mff.cuni.cz
GIMPLE Model Checker for C/C++ programs
kouba.honza at gmail.com
ondro.krc at gmail.com
ondrej.sery at d3s.mff.cuni.cz