HIBOU EFM implements a small-step operational semantics for interaction models with data and time as well as a trace and multi-trace analysis algorithm
Primary LanguageRustOtherNOASSERTION