静的 (seiteki)

静的せいてき検証けんしょうにおける網羅もうら率りつを客観きゃっかん的てきに判断はんだんし、網羅もうら検証けんしょうを可能かのうにする。

To enable coverage verification by objectively determining a coverage rate in static verification.