Tutorial: Parameterized Verification with Byzantine Model Checker.

Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder

Browse the full FORTE paper archive.