@misc{indiciae2fb70e539cee,
  title = {DiVM: Model Checking with LLVM and Graph Memory},
  author = {Petr Ročkai and Vladimír Štill and Ivana černá and Jiří Barnat},
  year = {2017},
  doi = {10.1016/j.jss.2018.04.026},
  url = {https://arxiv.org/abs/1703.05341},
  note = {Source identifier: 1703.05341}
}