Jan Mrázek

2016

Jan Mrázek:
Caching SMT Queries in SymDIVINE,
Bachelor’s Thesis, 2016. [bibtex, pdf, url]

Jan Mrázek, Petr Bauch, Henrich Lauko, and Jiří Barnat:
SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration,
Model Checking Software: 23rd International Symposium, SPIN, Springer International Publishing, 2016, 208–213. [bibtex, pdf, url]