Comment on The Heartbleed BugparentComments−tel12yPerhaps more reasonably: write the core of your application in Coq and have it expose a DSL for writing business logic atop this infallible core.
Comments
Perhaps more reasonably: write the core of your application in Coq and have it expose a DSL for writing business logic atop this infallible core.