3 ms·I'm confused about what this is. Is basically doing formal verification on the things spec'd out?by sightspinner 2mo agoI'm confused about what this is. Is basically doing formal verification on the things spec'd out?