multi-trace-analysis

There are 3 repositories under multi-trace-analysis topic.

  • erwanM974/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

    Language:HTML1100

  • erwanM974/hibou_efm

    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

    Language:Rust1100

  • erwanM974/hibou_label

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

    Language:Rust1100