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:

URL to article:

URLs in this post:

[1] Deductive Formal Methods:

[2] Download: #unlock

Copyright © 2020 Prove & Run. All rights reserved.