德國B(niǎo)TC公司于1999年成立、專(zhuān)注于嵌入式軟件自動(dòng)測試、基于模型的開(kāi)發(fā)和測試、以及安全關(guān)鍵系統測試。公司使命為面向基于模型的開(kāi)發(fā)技術(shù)和嵌入式軟件開(kāi)發(fā)、使用自動(dòng)測試和形式驗證技術(shù)、幫助客戶(hù)在縮短的設計周期內提高產(chǎn)品品質(zhì)。主要應用領(lǐng)域為汽車(chē)、航空、工程機械、軌道交通及醫療等、領(lǐng)先的驗證和確認技術(shù)曾獲得圖靈獎。