法国国家家庭补助基金（Cnaf）为法国国家信息与自动化研究所（Inria）的开源项目 Catala 提供贡献支持。Catala 是一种可将法律条文精确转化为可验证算法的编程语言，旨在提升公共福利计算等系统的正确性与透明度。此次合作标志着公共部门正借助形式化验证技术，推动自动化决策的合规性创新。