Formal Verification of AI Governance (Coq/Z3)
Applies formal verification techniques using Coq proof assistant and Z3 SMT solver to prove safety properties of AI governance constraint systems, establishing machine-checkable guarantees for constitutional AI frameworks.
formal verificationCoqZ3SMT solverAI governanceproof assistantsafety properties
Cite
Thomas Perry Jr.. "Formal Verification of AI Governance (Coq/Z3)." SignaBuilder, 2025-01-25. DOI: 10.5281/zenodo.18137884. Available at: https://doi.org/10.5281/zenodo.18137884
BibTeX
@article{perry2025formal,
author = {Perry, Thomas Jr.},
title = {Formal Verification of AI Governance (Coq/Z3)},
year = {2025},
month = {01},
doi = {10.5281/zenodo.18137884},
url = {https://doi.org/10.5281/zenodo.18137884},
publisher = {Zenodo},
license = {CC-BY-4.0}
}