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
Aerogramme
Standards-compliant open-source IMAP server with server-side encryption
Common cooperative membership using VC
Tools for community-friendly transparent recognition, award and governance of verifiable credentials as user-friendly badges. A coop consortium at W3C is...
Integration of Waydroid on mobile GNU/Linux
Run Android apps in Linux containers on mobile devices
p3pch4t
Decentralized chat platform built on i2p
