This repository contains the SAL models and paper source for the paper titled "Modular Model Checking of a Byzantine Fault-Tolerant Protocol" by Benjamin F Jones bjones@galois.com and Lee Pike leepike@galois.com.
The final version of the paper is located here.
The paper is to appear at NASA FM 2017.