SolidWorks或是Creo Parametric,可以讓工程師創造3D模型、2D的工程圖、以及相關設計的簡圖。CAD配合数字化样机(英语:digitalmockup)及计算机辅助工程的軟體(像有限元素法或解析元素法(英语:analytic element method))可以讓工程師依設計建立可以分
Contract (页面存档备份,存于互联网档案馆) DBC for C预处理器 GNU Nana eCv和eCv++ 形式验证工具 Digital Mars(英语:Digital Mars) C++编译器,通过C的CTESK扩展。 Loki库,提供叫做ContractChecker的机制用来验证一个类服从契约设计。