Publié le 13/02/2017 |

Cette version est exclusivement réservée aux détenteurs d’un contrat de maintenance, qui peuvent y accéder depuis la page de connexion.

Outre les 45 correctifs de maintenance, cette version apporte de nouvelles fonctionnalités en accès anticipé. Il s’agit de l’ajout d’une nouvelle commande dans le prouveur interactif, de l’ajout de nouvelle fonctionnalités dans l’outil de preuve de règles et de l’affichage des obligations de preuve dans l’éditeur.

Les 4 grandes améliorations sont :

  • Affichage des obligations de preuve dans l’éditeur.
  • Ajout d’un timeout paramétrable aux commandes de preuve de la famille pp.
  • Ajout d’une nouvelle commande de preuve at pour Apply Tactic.
  • Ajout de fonctionnalités dans l’outil de preuve de règles.

Dans le prouveur interactif, il est maintenant possible d’utiliser des tactiques de preuve prédéfinie.

De plus amples informations sont disponibles dans la note de version