Translation validation for LLVM
Alive2
Alive2
Not available yet
Not available yet
https://nlnet.nl/contact/
Not available yet
Not available yet
Country: Portugal
NGI Project: NGI zero core
Status: Early research demo
Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs