Coming soon
perspec
Specification-driven development with AI and formal methods.
AI has made writing code easier than ever. But how do you know that the software you are building or changing does what you intended?
We are developing perspec, an automated tool suite that dovetails with AI agents to help developers write rigorous specifications and verify the correctness and security of their code.
We are testing perspec with early customers on real codebases, refining the tools to fit existing development workflows.
Supported by the European Innovation Council
Perspec is being developed as part of Spectrum, an EIC Transition-funded project building on our research in formal verification and security analysis.