/hibou_label

HIBOU implements a small-step operational semantics for labelled interaction models as well as a trace and multi-trace analysis algorithm

Primary LanguageRustApache License 2.0Apache-2.0

Stargazers