Prove & Run makes available the following whitepapers:

• Deductive Formal Methods
• Hypervisors and Security
• Isolate Security-Critical Applications on Zynq UltraScale+ Devices