Verifiable hierarchical protocols with network invariants on parametric systems.

Opeoluwa Matthews, Jesse D. Bingham, Daniel J. Sorin

Browse the full FMCAD paper archive.