TY  - RPRT
TI  - DiVM: Model Checking with LLVM and Graph Memory
AU  - Petr Ročkai
AU  - Vladimír Štill
AU  - Ivana černá
AU  - Jiří Barnat
PY  - 2017
DO  - 10.1016/j.jss.2018.04.026
UR  - https://arxiv.org/abs/1703.05341
ID  - 1703.05341
ER  -