ByMC: Byzantine Model Checker

· 2018

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

representative citing papers

Safety and Liveness of Cross-Domain State Preservation under Byzantine Faults: A Mechanized Proof in Isabelle/HOL

cs.CR · 2026-04-04

citing papers explorer

Showing 1 of 1 citing paper.

Safety and Liveness of Cross-Domain State Preservation under Byzantine Faults: A Mechanized Proof in Isabelle/HOL cs.CR · 2026-04-04 · unreviewed · ref 3