一部のプログラミング言語は表明をツールとしてサポートしている（例えば、AdaのサブセットであるSPARK、ESC/JavaやESC/Java2を使ったJavaModelingLanguage(JML)、C言語をACSL(ANSI/ISOCSpecificationLanguage)で拡張するFrama-cWP（weakestprecondition、最弱事前条件）プラグインがある）。
有些程式语言有对应的支援工具，例如SPARK（Ada程式语言的子集）、Java建模语言（英语：JavaModelingLanguage）（其中使用ESC/Java（英语：ESC/Java）及ESC/Java2）及针对C语言的Frama-cWP插件（最弱初始条件（英语：Predicatetransformersemantics#Weakestpreconditions）），此插件需配合延伸至ACSL（英语：ANSI/ISOCSpecificationLanguage）（ANSI/ISOCSpecificationLanguage）的C语言。