欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Acceleo：一个 MDA 驱动的代码自动生成工具。基于 Eclipse 和 Eclipse Modeling Framework 构建，能自动将模型生成 Java、C#、PHP 代码。
