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