At a Glance
| Applications | Model Checker |
| Developers | Bell Labs |
| Licenses | All Rights Reserved |
| Maintenance | Actively Maintained |
Description
Spin is a model checker for multi-threaded software.
| Applications | Model Checker |
| Developers | Bell Labs |
| Licenses | All Rights Reserved |
| Maintenance | Actively Maintained |
Spin is a model checker for multi-threaded software.