pkg-comment « spin « math - freebsd-ports-gnome - FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

index : freebsd-ports-gnome

FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

about summary refs log tree commit diff stats

path: root/math/spin/pkg-comment

blob: 3cce122e21373c770ef81dc10b52da9f9ed55736 (plain) (blame)

1	`An on-the-fly verification system for asynchronous concurrent systems`