/coq_hibou_label_multi_trace_analysis

Formal proof with the Coq theorem prover of the correctness of an oracle algorithm for offline analysis of distributed logs against interaction models

Primary LanguageHTMLApache License 2.0Apache-2.0

No issues in this repository yet.