Related but in the opposite direction, static checking of specs: https://github.com/arohner/spectrum (I haven't tried it personally)