a

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

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

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


a