SSA
Inria (Institut national de recherche en informatique et en automatique) (法國國家資訊暨自動化研究院)， 全世界頂尖的編譯器技術研發重鎮之一，
知名專案如：
OCaml
Coq
…
另外，Airbus (空中巴士，歐洲民航飛機製造公司，也是歐洲最大的軍火供應製造商 Airbus Group 旗下企業) 上千萬行的飛行控制程式碼，就是由 INRIA 提出 formal verification
Inria (Institut national de recherche en informatique et en automatique) (法國國家資訊暨自動化研究院)， 全世界頂尖的編譯器技術研發重鎮之一，
知名專案如：
OCaml
Coq
…
另外，Airbus (空中巴士，歐洲民航飛機製造公司，也是歐洲最大的軍火供應製造商 Airbus Group 旗下企業) 上千萬行的飛行控制程式碼，就是由 INRIA 提出 formal verification