K 10 svn:author V 3 pav K 8 svn:date V 27 2003-12-13T01:22:09.000000Z K 7 svn:log V 238 Add The SMV (Symbolic Model Verifier), a tool for checking finite state systems against specifications the temporal logic CTL (Computational Tree Logic). PR: ports/59429 Submitted by: Marc van Woerkom END