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
Marginalia Search
A fresh take on search
webxdc PUSH
Towards an usable, interoperable and trustworthy web app ecosystem
My3Sec
My3Sec provides smart workers with a repository of verifiable skills easy to transfer and maintain which will guarantee the path...
DataHop – Incentivised Dissemination of Content at the Network Edge.
A decentralized, user-operated content distribution network leveraging the power of users’ mobile devices and device to device connectivity.
