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