Skip to content
This repository has been archived by the owner on Feb 1, 2019. It is now read-only.

Formal verification #23

Open
jamesray1 opened this issue Apr 12, 2018 · 0 comments
Open

Formal verification #23

jamesray1 opened this issue Apr 12, 2018 · 0 comments
Labels
P7: nice to have Issue is worth doing eventually. Q8: involved Can be fixed by a team of developers and will take some time.

Comments

@jamesray1
Copy link
Member

jamesray1 commented Apr 12, 2018 •
edited
Loading

https://en.wikipedia.org/wiki/Formal_verification

We will need this for whatever sharding specification there is, and should probably do it as the last step before releasing to production.
@jamesray1 jamesray1 added P7: nice to have Issue is worth doing eventually. Q8: involved Can be fixed by a team of developers and will take some time. labels May 14, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
P7: nice to have Issue is worth doing eventually. Q8: involved Can be fixed by a team of developers and will take some time.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jamesray1