3 ms·Not if the goal is to prove that an algorithm meets a specification, which is more often than not my goal.by catnaroek 9y agoNot if the goal is to prove that an algorithm meets a specification, which is more often than not my goal.