aboutsummaryrefslogtreecommitdiff
path: root/devel/spin/pkg-comment
blob: 3cce122e21373c770ef81dc10b52da9f9ed55736 (plain) (blame)
1
An on-the-fly verification system for asynchronous concurrent systems