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 modalities.

Ce contenu a été publié dans Applications. Vous pouvez le mettre en favoris avec ce permalien.

Laisser un commentaire