ByMC: Byzantine Model Checker.

Igor Konnov, Josef Widder

Browse the full ISoLA paper archive.