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