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