SMVPS(1)                                                              SMVPS(1)



[1mNAME[0m
       smvps - pretty printer for SMV language

[1mSYNOPSIS[0m
       [1msmv [22m[dvips-switches][4m...[24m  file.smv

[1mDESCRIPTION[0m
       Uses  the  LaTeX2e  document  processing  system to pretty print an SMV
       file. All switches to dvips(1) apply.


[1mSEE ALSO[0m
       [1msmv(1),[22mvw(1),[1mlatex(1),[22mdvips(1)
       [1mK.[22mL.[1mMcMillan,[22mThe SMV language
       [1mKenneth L. McMillan, [4m[22mSymbolic[24m [4mModel[24m [4mChecking,[24m [1mKluwer, 1993.[0m


[1mBUGS[0m
       Assumes US 8.5" by 11" paper.


[1mAUTHOR[0m
       Kenneth L. McMillan, Cadence Berkeley Labs
       mcmillan@cadence.com




SMVPP                             1 Sep 1999                          SMVPS(1)
