3 ms·
Are those more important than, say: - Proven with Coq, a formal proof management system: https://coq.inria.fr/ https://coq.inria.fr/ See in the real world: ht
by Terretta 3y ago
Are those more important than, say:
- Proven with Coq, a formal proof management system: https://coq.inria.fr/ https://coq.inria.fr/
See in the real world: https://aws.amazon.com/security/provable-security/ https://aws.amazon.com/security/provable-security/
And check out Computer-Aided Verification (CAV).
- Too 3y agoA formal proof is only as good as its requirements. Leaving out features and reducing complexity is for sure going to be more secure.