Dual-level Specification Inference
Website
Website not available yet
Make formal verification more practical with dual-level Specification Inference
ProjectID
Spec2
Acronym
Spec2
Additional Info
Not available yet
Enduser Relevance
Not available yet
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country: Germany
NGI Project: NGI assure
Status: Early research demo
Category: Middleware and identity (including DNS, authorisation, authentication, reputation systems, distribution and deployment, operations)Software engineering, protocols, interoperability, cryptography, algorithms, proofs
check other similar innovations
Assesment of Fast Quantum Key Distribution
A novel Quantum Key Distribution (QKD) method that includes an Artificial Intelligence (AI) -based polarization distortion compensator module (named Fast...
GNUnet CONG
Modernise the network stack of GNUnet
WebXDC XMPP
Standardisation effort for WebXDC integration in XMPP
BrowserAudit
Test common security standards and features in browsers
