Verifpal
Website
https://verifpal.comProve soundness of verification in Verifpal
ProjectID
VerifPal-Proven
Acronym
VerifPal-Proven
Additional Info
- Resources
- Source code
- https://source.symbolic.software/verifpal/verifpal
Enduser Relevance
Secure communication over the internet is critical. Humans however are not infallible, and the same holds for the humans that design the protocols that should make our internet
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country: France
NGI Project: NGI zero pet
Status: Early research demo
Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs
check other similar innovations
vdirsyncer
Synchronise calendars and contacts
Libre-SOC, Coriolis2 ASIC Layout Collaboration
Open tooling for ASIC Layout
TypeCell
CRDT-based collaborative block-based editor
House Coop
A platform that will allow you to regain your privacy and to work with your team in a safe, convenient...
