ByMC: Byzantine Model Checker (bibtex)
by Igor Konnov, Josef Widder
Reference:
ByMC: Byzantine Model CheckerIgor Konnov, Josef WidderLeveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, pages 327-342, 2018, Springer International Publishing.
Bibtex Entry:
@InProceedings{KW18,
    author="Konnov, Igor and Widder, Josef",
    title="ByMC: Byzantine Model Checker",
    booktitle="Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems",
    year="2018",
    publisher="Springer International Publishing",
    address="Cham",
    pages="327--342",
    url="https://hal.inria.fr/hal-01909653",
    doi={10.1007/978-3-030-03424-5_22}
}
Powered by bibtexbrowser