SMVPS(1) SMVPS(1) NAME smvps - pretty printer for SMV language SYNOPSIS smv [dvips-switches]... file.smv DESCRIPTION Uses the LaTeX2e document processing system to pretty print an SMV file. All switches to dvips(1) apply. SEE ALSO smv(1),vw(1),latex(1),dvips(1) K.L.McMillan,The SMV language Kenneth L. McMillan, Symbolic Model Checking, Kluwer, 1993. BUGS Assumes US 8.5" by 11" paper. AUTHOR Kenneth L. McMillan, Cadence Berkeley Labs mcmillan@cadence.com SMVPP 1 Sep 1999 1