pkg-comment\spin\math - FreeBSD-ports - Raptor Engineering's fork of pfsense FreeBSD ports tree with pfSense changes

summary refs log tree commit diff stats

path: root/math/spin/pkg-comment

blob: 3cce122e21373c770ef81dc10b52da9f9ed55736 (plain)

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

OpenPOWER on IntegriCloud