| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Category move: math/spin to devel | SADA Kenji | 2002-06-11 | 1 | -1/+0 |
| | | | | | | | | | | PR: ports/10396 Submitted by: Daniel C. Sobral <dcs@newsguy.com> Approved by: maintainer Notes: svn path=/head/; revision=61132 | ||||
| * | Import of math spin: | Justin M. Seger | 1998-12-12 | 1 | -0/+1 |
| Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com Notes: svn path=/head/; revision=15311 | |||||
 |
index : freebsd/ports.git | |
| Unnamed repository; edit this file 'description' to name the repository. | git |
| summaryrefslogtreecommitdiff |