GitHub / 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
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/erwanM974%2Fcoq_hibou_label_multi_trace_analysis
PURL: pkg:github/erwanM974/coq_hibou_label_multi_trace_analysis
Stars: 1
Forks: 0
Open issues: 0
License: apache-2.0
Language: HTML
Size: 105 KB
Dependencies parsed at: Pending
Created at: almost 5 years ago
Updated at: about 4 years ago
Pushed at: about 4 years ago
Last synced at: over 2 years ago
Topics: coq-formalization, interaction-models, multi-trace-analysis, proof, sequence-diagrams