@inproceedings{konnov:hal-01909653, TITLE = {{ByMC: Byzantine Model Checker}}, AUTHOR = {Konnov, Igor and Widder, Josef}, URL = {https://inria.hal.science/hal-01909653}, BOOKTITLE = {{ISoLA 2018 - 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation}}, ADDRESS = {Limassol, Cyprus}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {11246}, PAGES = {327-342}, YEAR = {2018}, MONTH = Oct, DOI = {10.1007/978-3-030-03424-5\_22}, KEYWORDS = {model checking ; fault tolerance ; distributed algorithms}, PDF = {https://inria.hal.science/hal-01909653/file/camera.pdf}, HAL_ID = {hal-01909653}, HAL_VERSION = {v1}, }