@article{RSCB2018,
 author = {Petr Ročkai and Vladimír Štill and Ivana Černá and Jiří Barnat},
 doi = {10.1016/j.jss.2018.04.026},
 journal = {Journal of Systems and Software},
 note = {https://divine.fi.muni.cz/2017/divm/},
 pages = {1--13},
 publisher = {Elsevier},
 title = {{DiVM: Model checking with LLVM and graph memory}},
 volume = {143},
 year = {2018}
}