INRIA
https://ja.wikipedia.org/wiki/フランス国立情報学自動制御研究所
OCaml
Coq
F*
CompCert
Scilab
https://ja.wikipedia.org/wiki/Scilab
Esterel
https://ja.wikipedia.org/wiki/Esterel
複雑なリアルタイムシステム向けの同期型プログラミング言語