At a Glance
| Applications | Model Checker |
| Developers | University of Twente |
| Licenses | ISC |
| Maintenance | Actively Maintained |
Description
DSCheck is an experimental model checker for testing concurrent OCaml programs.
| Applications | Model Checker |
| Developers | University of Twente |
| Licenses | ISC |
| Maintenance | Actively Maintained |
DSCheck is an experimental model checker for testing concurrent OCaml programs.