Viewing profile — jawatson
jawatson
HN member- Joined
- Sun, Sep 13, 2015, 7:23 PM UTC
- HN karma
- 0
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About jawatson
No profile information was provided.
Recent public activity
-
comment
Comment #11930340
I may be stepping outside of my area of expertise, but doesn't this seem like a perfect place to apply formal verification tools? As long as the contract isn't too long, it should …