Archives mensuelles : octobre 2012

BWare: a new project on proving B proof obligations

BWare, a  new research project related to the B method has started in September 2012. It is  funded for a period of 4 years by the programme “Ingénierie Numérique & Sécurité” of the French national agency ANR. This project is aimed at providing … Continuer la lecture

Publié dans Research | Laisser un commentaire