Formal proof with the Coq theorem prover of the correctness of an oracle algorithm for offline analysis of distributed logs against interaction models
-
Updated
May 13, 2021 - HTML
Formal proof with the Coq theorem prover of the correctness of an oracle algorithm for offline analysis of distributed logs against interaction models
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
HIBOU implements a small-step operational semantics for labelled interaction models as well as a trace and multi-trace analysis algorithm
Add a description, image, and links to the multi-trace-analysis topic page so that developers can more easily learn about it.
To associate your repository with the multi-trace-analysis topic, visit your repo's landing page and select "manage topics."