Similar to test coverage, we want an explorable report of how many aspects of
the specs are formalized (resp. implemented). Exploration/X-Ray should allow
quickly getting a view into the implementation site from the report, and a view
into the specification site.
Similar to test coverage, we want an explorable report of how many aspects of the specs are formalized (resp. implemented). Exploration/X-Ray should allow quickly getting a view into the implementation site from the report, and a view into the specification site.