Popular repositories Loading

1. autour_core autour_core Public

   AUTOUR is a toolbox for manipulating various automata and regular expression formalisms

   Rust 4

2. hibou_label hibou_label Public

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

   Rust 2 1

3. coq_hibou_label_multi_trace_analysis coq_hibou_label_multi_trace_analysis Public

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

   HTML 1

4. hibou_efm hibou_efm Public

   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

   Rust 1

5. coq_hibou_label_semantics_equivalence coq_hibou_label_semantics_equivalence Public

   Formal proof with the Coq theorem prover of the equivalence of three semantics for a language describing the behavior of distributed systems.

   HTML 1

6. coq_hibou_label_equivalent_terms coq_hibou_label_equivalent_terms Public

   Formal proof with the Coq theorem prover that elements of some equivalence classes defined over a formal language of interactions describing the behavior of distributed systems have the same semant…

   HTML 1 1