Hacker News new | ask | show | jobs
by mark_h 2857 days ago
Related but in the opposite direction, static checking of specs: https://github.com/arohner/spectrum (I haven't tried it personally)