---
name: smv
version: 2.5.4.3
origin: devel/smv
comment: Symbolic Model Verifier System for checking finite state systems
arch: freebsd:9:x86:64
www: http://www.cs.cmu.edu/~modelcheck/smv.html
maintainer: ports@FreeBSD.org
prefix: /usr/local
licenselogic: single
flatsize: 760253
desc: "The SMV (Symbolic Model Verifier) system is a tool for \nchecking finite state
  systems against specifications \nin the temporal logic CTL (Computational Tree Logic).
  \n\nOne specifies the finite state system (finite automaton,\nMealy machine, full
  adder circuit, ..) as a Kripke \nstructure in the SMV language and provides specifications
  \nin CTL. The model checking algorithm allows to determine \nif the Kripke structure
  fulfills the specifications.\n\nWWW: http://www.cs.cmu.edu/~modelcheck/smv.html\n"
categories: [devel]
files:
  /usr/local/bin/smv: 6053d7317fdc295cc7d722c2052e4b482797cb2c300763c7d1c8e717777119c2
  /usr/local/man/man1/smv.1.gz: 6de85fceb5912cfcbabbe8e9b71a203320d3701ba8393170eec4714f631af919
  /usr/local/share/doc/smv/NEW: e64b88885513ff033f6858ffecd50b510593da9ca3af4e4c1c83bb462f9098d4
  /usr/local/share/doc/smv/README: bbfe2fc44c6e18a66e919fdaa11cd78c31b91db0f9fef2303cf859e984351e39
  /usr/local/share/doc/smv/smvmanual.ps: ddc680cbfba3c522d990ac8814c2181cb9ce2080e89ca611a5d7fcab4ab302e2
  /usr/local/share/examples/smv/counter.smv: 819ec8fed361746d60f6cf69ed6da392e952db5f4e92c03ad6cb7c528acf3c06
  /usr/local/share/examples/smv/dme1.smv: 6cdb59b1a6be0381300e5d0a79f7df55aac82d29d0bf7c2b046a2a4e5880801e
  /usr/local/share/examples/smv/dme2.smv: 0b28e214ad2070bc9926e0ae4a7f46dfb8732a4981184c543f4e2a158a75bc2d
  /usr/local/share/examples/smv/featuring.smv: 4289c2c39ffd281397f04719f3bc06b23845348101e37f17e933cac4ca000b0a
  /usr/local/share/examples/smv/gigamax.smv: 930222bb20ce630ffc3317c681b1523aa9280c4175a285dffba09b329ee2fd19
  /usr/local/share/examples/smv/mutex.smv: 3f50b1c34615f76d20112a7ebb660b83c7dc1e8a386d424a7dd43335e8fedd35
  /usr/local/share/examples/smv/mutex1.smv: cb084581fda27757f0008dbf62039e1d53ec78ce6d61d997acb8cdeaaead9f22
  /usr/local/share/examples/smv/periodic.smv: 3fa84f0d902d6ad822c68d4bb7bd49b4da8d5ee34cb70649914a2528e4746a6a
  /usr/local/share/examples/smv/ring.smv: ec56369191f9f351861de3c36bd027a12c427093be9b2e5e8d79a8d8ee8583d5
  /usr/local/share/examples/smv/semaphore.smv: d8a9f5c955f301270856c0e4a2dd3983d327b87e5d9fc813099cedfa6864d529
  /usr/local/share/examples/smv/short.smv: 91b624cc6e41d1dc7ea360905a38b5e4e2a5c14e2745cc4275e7a683473739d4
  /usr/local/share/examples/smv/syncarb5.smv: 05ec0e183b1ab49dfcf87ae7c0bdb7147570b47d6ad8ee45c65d467db438b23d
  /usr/local/share/smv/smv-mode.el: 6dd7dff73d0ac64f05bb0c0da78d1fa532cfa6ef27402c74f869ceee17f9aa93
directories:
  /usr/local/share/smv/: n
  /usr/local/share/examples/smv/: n
  /usr/local/share/doc/smv/: n
scripts: {}
