vti_encoding:SR|utf8-nl vti_timelastmodified:TR|11 Oct 2004 16:41:53 -0000 vti_extenderversion:SR|6.0.2.5516 vti_title:SR| A simple example in SMV vti_backlinkinfo:VX|smv/smv-trial.html vti_nexttolasttimemodified:TR|11 Oct 2002 17:35:51 -0000 vti_author:SR|nishants vti_modifiedby:SR|SCS\\nishants vti_timecreated:TR|11 Oct 2002 17:33:36 -0000 vti_syncwith_localhost\\d\:\\nishants@scs\\my documents\\my webs\\modck/d\:/nishants@scs/my documents/my webs/modck:TR|25 Jun 2004 17:08:22 -0000 vti_cacheddtm:TX|22 Feb 2005 18:50:51 -0000 vti_filesize:IR|5555 vti_cachedtitle:SR| A simple example in SMV vti_cachedbodystyle:SR| vti_cachedlinkinfo:VX|S|../images/bar.gif H|http://www.cs.cmu.edu/~modelcheck/tour.htm H|smvmanual.r2.2.ps.gz H|http://www.cs.cmu.edu/~modelcheck/smv.html H|smv-trial.html A|http://teapot.modck.cs.cmu.edu/cgi-bin/smv-run K|smv-flags.html K|smv-flags.html K|smv-flags.html K|smv-flags.html K|smv-flags.html K|smv-flags.html S|http://teapot.modck.cs.cmu.edu/cgi-bin/smv-counter S|../images/bar.gif H|http://www-2.cs.cmu.edu/~modelcheck/ H|../index.html S|../images/back.gif H|http://www-2.cs.cmu.edu/~modelcheck/ H|http://www.cs.cmu.edu/~berez H|mailto:berez+@cs.cmu.edu vti_cachedsvcrellinks:VX|FSUS|images/bar.gif NHHS|http://www.cs.cmu.edu/~modelcheck/tour.htm FHUS|smv/smvmanual.r2.2.ps.gz NHHS|http://www.cs.cmu.edu/~modelcheck/smv.html FHUS|smv/smv-trial.html NAHS|http://teapot.modck.cs.cmu.edu/cgi-bin/smv-run NHUS|smv/smv-flags.html NHUS|smv/smv-flags.html NHUS|smv/smv-flags.html NHUS|smv/smv-flags.html NHUS|smv/smv-flags.html NHUS|smv/smv-flags.html NSHS|http://teapot.modck.cs.cmu.edu/cgi-bin/smv-counter FSUS|images/bar.gif NHHS|http://www-2.cs.cmu.edu/~modelcheck/ FHUS|index.html FSUS|images/back.gif NHHS|http://www-2.cs.cmu.edu/~modelcheck/ NHHS|http://www.cs.cmu.edu/~berez NHUS|mailto:berez+@cs.cmu.edu vti_cachedneedsrewrite:BR|true vti_cachedhasbots:BR|false vti_cachedhastheme:BR|false vti_cachedhasborder:BR|true vti_borderaggregate:SR|default vti_charset:SR|windows-1252