Before revision:  We show how formal theorem provers can successfully verify some such systems at sizes where other verification methods fail.
After revision:  We show how formal theorem provers can successfully verify some such systems at populations where other verification methods fail.