fb16dfecae
Commit b7f05445c0 has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner)
5 lines
382 B
Text
5 lines
382 B
Text
Rumur is a model checker, a formal verification tool for proving safety and
|
|
security properties of systems represented as state machines. It is based on a
|
|
previous tool, CMurphi, and intended to be close to a drop-in replacement. Rumur
|
|
takes the same input format as CMurphi, the Murphi modelling language, with some
|
|
extensions and generates a C program that implements a verifier.
|