9 ms·
SPARK goes further though. More advanced properties besides memory safety can be proven. This seems tremendously useful for something like sudo.
by csb6 3y ago
SPARK goes further though. More advanced properties besides memory safety can be proven. This seems tremendously useful for something like sudo.