仕様検証グループ

ソフトウエアの仕様検証技術に関して情報発信をやっていきます

仕様検証という呼称について

世間では形式(的)仕様、形式(的)手法、フォーマルメソッド等の名前で呼ばれるのが普通ですが、どうもこの「形式(的)」という言葉は一般受けが良くないようで、ひとつこれからは「仕様検証」という名前を使っていきたいと思います。英語表記は "Spec Verification"　あるいは"SV" とします。