GitHub / rminami / spin-verification

Exercises using the Spin model checker and the Promela specification language.

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rminami%2Fspin-verification
PURL: pkg:github/rminami/spin-verification

Stars: 0
Forks: 0
Open issues: 0

License: None
Language: TeX
Size: 594 KB
Dependencies parsed at: Pending

Created at: almost 7 years ago
Updated at: almost 6 years ago
Pushed at: almost 6 years ago
Last synced at: about 2 years ago

Topics: formal-verification, linear-temporal-logic, promela, spin

Loading...