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
RULEBOOK
An open legal infrastructure to automate the generation of governance, contracts and agreements for data transfers and data portability.
libvips
Add animated PNG and enhanced JPEG XL support to libvips
FogBlock4Trust
A fog-assisted blockchhain-based credential management solution
PDS Migrator
The PDS migrator makes it easy to move data between storage providers who use SOLID.PDS migrator motivates people to use...
