biodivine-hctl-model-checker (cargo): Library for symbolic HCTL model checking on partially defined Boolean networks.
Keywords: model-checking|systems-biology|symbolic|hctl|boolean-network|rust