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

Alternatives and similar repositories for ew20:

Users that are interested in ew20 are comparing it to the libraries listed below