Forthcoming
Notice
The register opens to the public
When the first Certified Provers are listed, the searchable register goes live.
Insight
Why verification is a profession, not a service
On the difference independence makes, and why it has to be structural.
Update
The first foundational cohort
Notes from the inaugural Foundations of Verification intake.
Be told when we publish
Occasional, considered, never frequent.