UCL-PPLV/PROGNOSIS UCL-PPLV/PROGNOSIS

  • Stars
    star
    14
  • Rank 1,438,076 (Top 29 %)
  • Language
    Rust
  • License
    Other
  • Created about 4 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
UCL-PPLV/PROGNOSIS
github

UCL-PPLV

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Code and resources for model learning of network protocol implementations

More Repositories

1

PROGNOSIS-learner

Java
2
star
2

byzantine-reading

Reading group on Byzantine Distributed Systems
1
star
3

GCTransformations

Certified implementation of a parametrized framework for concurrent garbage collectors
Coq
1
star
4

FAIC

Function Analysis In Codebases
C++
1
star