Specification
We build abstract models of your critical subsystems and prove that they satisfy correctness invariants.
Welltyped Systems
Bring the assurance of formal verification to real-world critical software.
We are a software consultancy specialising in formal model-based conformance testing, an approach to testing that compares the behaviour of real-world software to idealised proved models to detect hidden bugs before they see the light of production.
Our process
Testing
We build out a fuzzing/property testing suite that compares the behaviour of your real-world software to its ideal model.
Review
We build a report on any divergences discovered, and deliver to you your verified testing suite for integration into CI.