2 ms·* to enforce the absence of certain classes of incorrect program behaviourby ajanuary 13y ago* to enforce the absence of certain classes of incorrect program behaviour