SSA

Inria (Institut national de recherche en informatique et en automatique) (法國國家資訊暨自動化研究院), 全世界頂尖的編譯器技術研發重鎮之一,

知名專案如:

  • OCaml

  • Coq

另外,Airbus (空中巴士,歐洲民航飛機製造公司,也是歐洲最大的軍火供應製造商 Airbus Group 旗下企業) 上千萬行的飛行控制程式碼,就是由 INRIA 提出 formal verification