formal proof
formal proof
The term formal proof occurs in indexes or keywords of following Zvon materials:
- Keywords
- Internet Security Glossary, Version 2 (RFC 4949) : formal proof [Terms]security terms related to Internet technologies
- External resources
- RFC 4949http://tools.ietf.orgZvon keyword: formal proof
starts with
contains
(at least 3 characters needed)
