Verified Reowolf

Using formal methods, we rigorously validate and verify functionality and security properties of essential Internet protocols. In this project, we unambiguously specify Internet

More

ProjectID

VerifiedReowolf

Acronym

VerifiedReowolf

Additional Info

Not available yet

Enduser Relevance

Not available yet

Contact

https://nlnet.nl/contact/

Endorsements

Not available yet

Disclaimer

Not available yet

Country:  Netherlands

Keyword: FormalProofFormalVerificationH2020NGI_Pointer

Status: -

Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs

check other similar solutions