/reachability-models

Alloy models for formalising and testing the components of the reachability verification technique

Primary LanguageAlloyApache License 2.0Apache-2.0

Watchers