Deductive Formal Methods
Introduction: Using deductive formal methods for ProvenCore, a secure operating system with a high-level interface for applications and for ProvenVisor, a secure hypervisor, makes it possible to reach a higher level of security while reducing the total costs of security.
Article printed from Prove & Run: https://www.provenrun.com
URL to article: https://www.provenrun.com/about/whitepapers/deductive-formal-methods/
URLs in this post:
[1] Deductive Formal Methods: https://www.provenrun.com/download/deductive-formal-methods/
[2] Download: #unlock
Click here to print.