手続き法を「法令工学」を用いて再定義しました

さらにSMTソルバを用いて論理矛盾を見つけることによってテストカバレッジを収束させることに成功。

フレームワークでシステム開発　「法令工学」のパイオニア企業