1
Download Atelier B 4.2 release notes
Transcript
Among these features, we can mention: Full 64-bit support A new traceable, generic, proof obligation generator A better integration of real and floating point numbers Accessors added to BART in order to solve refinement conflicts Boolean and integer translation fine-tuning in C4B code generator Addition of a proof server, in order to speed up proof
