viktoriafordos / ew20

Prototype implementation of the security analysis introduced in V. Fördős: Secure Design and Verification of Erlang Systems paper
12Updated 3 years ago

Related projects

Alternatives and complementary repositories for ew20