OCamlPro was created in 2011 to advocate the adoption of the OCaml language and formal methods in general in the industry. While…
The second annual meeting of the Alt-Ergo Users’ Club was held in mid-February. Our annual…
A new release of Alt-Ergo (version 2.2.0) is available.