仕様記述言語
保証が無いものを「仕様」と言えるかどうかという根本的な疑問点はあるが、ここまでで述べたような形式的な記述と検証というような手法でないものについても、類似したものとして扱われていることがある。
たとえば、完全な妥当性は保証できないが、シミュレーションを行うことで、ある限られた場合においての動作を模擬して確かめる方法もある。SpecCはこの立場を取る。
あるいは、あくまでシステム全体のモデリングに重きを置き、仕様に対する人間の理解容易性を向上させることで、設計者自身によって(あるいは設計者同士のコミュニケーションによって)妥当性を検討させるものである。UMLがこれに該当するという主張もある。いずれにしても、形式的でない以上、論理的に何かが保証されることはなく、たとえば双方の当事者が「互いに誤解は無い」と信じていたとしても、「そう信じている」だけでしかない。