mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-01 22:05:08 +00:00
Code Issues Releases Activity
6e43b21b05
freebsd-ports/math/spin/pkg-comment

2 lines
70 B
Plaintext
Raw Normal View History

Import of math spin: 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
1998-12-12 22:17:48 +00:00
An on-the-fly verification system for asynchronous concurrent systems
Reference in New Issue Copy Permalink