the use of &"mathematically rigorous techniques and tools for the specification, design and verification of software and hardware systems&"
mathematically-based techniques for specifying and developing reliable systems; used for high security and safety purposes
He made a group to revisit the constitution, and also possibly to protect private property.