Ivaylo Dobrikov, Michael Leuschel
Optimising the ProB Model Checker for B Using Partial Order Reduction
SEFM, 2014.
@inproceedings{SEFM-2014-DobrikovL, author = "Ivaylo Dobrikov and Michael Leuschel", booktitle = "{Proceedings of the 12th International Conference on Software Engineering and Formal Methods}", doi = "10.1007/978-3-319-10431-7_16", isbn = "978-3-319-10430-0", pages = "220--234", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Optimising the ProB Model Checker for B Using Partial Order Reduction}", volume = 8702, year = 2014, }