3 ms·Compared to the other 99.9% of the company that doesn't use SPARK. It's all tests and static analysisby NavinF 2y agoCompared to the other 99.9% of the company that doesn't use SPARK. It's all tests and static analysis