AI Assisted Formal Verification

Using AI to verify against human specifications for proving parts of the infrastructure that are not easily provable (like Firewall).

Paper

https://atlascomputing.org/ai-assisted-fv-toolchain.pdf