Skip to content
View erwanM974's full-sized avatar

Block or report erwanM974

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. autour_core autour_core Public

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

    Rust 3

  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 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_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

  6. 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