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.
B Solutions to some VSTTE Competition Problems Released
Ce contenu a été publié dans Applications. Vous pouvez le mettre en favoris avec ce permalien.