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