軽量形式手法

ある側面だけの形式仕様を記述し、その側面に特化した自動解析を行う