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

Copyright © 2020 Prove & Run. All rights reserved.