Proving aspects of a security system with regard to a Specification being the infrastructure of the system.
Concepts
Papers
Reading List
- https://www.thegreatrefactor.org/
- https://aiprospects.substack.com/p/breaking-software-bottlenecks
- https://atlascomputing.org/ai-assisted-fv-toolchain.pdf
- https://ifp.org/faster-ai-diffusion-through-hardware-based-verification/
- https://flexheg.com/
- https://blog.foretellix.com/2025/06/24/the-vv-method-a-step-towards-safer-agi/
- https://arxiv.org/pdf/2506.15100
- https://aigi.ox.ac.uk/publications/verification-for-international-ai-governance/
- https://arxiv.org/pdf/2303.07406