Programmes par ermt.sf.net

Les entités et les relations sont spécifiées sous forme de types définis par l’utilisateur. Nous utiliserons l’outil d’essai PVS. La vérification consiste à prouver les conditions de correction de type qui sont générées autom