multi-trace-analysis

Here are 3 public repositories matching this topic...

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

distributed-systems symbolic-execution operational-semantics sequence-diagrams interaction-models multi-trace-analysis

Updated May 21, 2021
Rust

erwanM974 / coq_hibou_label_multi_trace_analysis

Star

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

proof coq-formalization sequence-diagrams interaction-models multi-trace-analysis