@inproceedings{SRB16SVC,
 _isbn = {978-3-662-49674-9},
 _url = {http://dx.doi.org/10.1007/978-3-662-49674-9_60},
 address = {Berlin, Heidelberg},
 author = {Vladimír Štill and Petr Ročkai and Jiří Barnat},
 booktitle = {{Tools and Algorithms for the Construction and Analysis of Systems}},
 doi = {10.1007/978-3-662-49674-9_60},
 keywords = {divine},
 pages = {920--922},
 publisher = {Springer Berlin Heidelberg},
 title = {{DIVINE: Explicit-State LTL Model Checker}},
 year = {2016}
}