Archives mensuelles : juin 2013

B Solutions to some VSTTE Competition Problems Released

Several software verification competitions have been organized last years, Some problems from these competitions have been selected and solved using the B method. For each of these problems, are provided a B model archive, a report and source code.with different objectives and … Continuer la lecture

Publié dans Applications | Laisser un commentaire