DESIGN SERVICES
Design Verification
Constrained-random and formal verification with measurable closure.
OVERVIEW
What this covers
This page is part of the redesign information architecture. Substance is drawn from verified Nelix programmes only. Design services and university collaboration are active; platform work stays labelled at the stage it has reached.
Talk to Nelix
Design services are open now. University partnerships are proposed collaborations, not claimed agreements.