Summary
Modern software increasingly relies on autonomous AI-driven systems that generate, test, and revise code. Yet even the most advanced tools struggle with a simple question: does the software behave as intended? The answer depends on clear descriptions of expected behavior, known as formal specifications. In practice, such specifications are rare because they are difficult to write and maintain. This project studies how to make formal specifications practical, accessible, and central to software development. The project’s novelties are the creation of a large-scale resource that connects everyda
