pkg-comment « spin « devel - freebsd/ports.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/devel/spin/pkg-comment

blob: 3cce122e21373c770ef81dc10b52da9f9ed55736 (plain) (blame)

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