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:  Canada Germany

Status: -

Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs

check other similar innovations
Skip to content