Articles 1 - 2
Software & OS
Developing Formally Proven Code with AI - Blog
May 26, 2026Developing formally proven code is challenging. It is also extraordinarily valuable: it produces software with a level of robustness that is otherwise unreachable, and you can have very high confidence that your code will not fail over time. But there is no way around it: it’s hard work.
Software & OS
Code cleaning with SPARK and Ada: Cut development costs upfront - Other
August 16, 2017Leveraging an expressive and formal specification from the start makes it easier to respect requirements, provide automatic verification, and prevent problems or detect them early in development.
Articles 1 - 2