Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
|
from
login
The Science of DeepSpec (Proving Networking Correct)
(
deepspec.org
)
2 points
by
deterministic
on June 24, 2021
|
past
Specification and verification of full functional correctness
(
deepspec.org
)
4 points
by
memexy
on June 20, 2020
|
past
DeepSpec
(
deepspec.org
)
2 points
by
espeed
on Oct 21, 2018
|
past
Deep spec: the science of deep specification
(
deepspec.org
)
2 points
by
ishtu
on July 25, 2017
|
past
DeepSpec: The Science of Deep Specification
(
deepspec.org
)
2 points
by
anishathalye
on July 9, 2017
|
past
Deep Spec: The Science of Deep Specification
(
deepspec.org
)
2 points
by
dmux
on Sept 27, 2016
|
past
Deepspec: The Science of Deep Specification
(
deepspec.org
)
2 points
by
jcurbo
on Jan 14, 2016
|
past
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
