Tag: formal specifications

All the articles with the tag "formal specifications".

• The Abstraction Ladder and AI

  14 Apr, 2026

  Code agents such as Claude Code, GitHub Copilot, and Gemini generate code from natural language. This is a major leap that works well for small systems, but enterprise software needs a higher abstraction layer formal specifications.