HOL-OCL - Un systeme de preuve pour UML/OCL
Date de dépôt : 01 janvier 1970

Responsable : WOLFF Burkhart


HOL-OCL est un système de preuve (basee sur Isabelle/HOL) pour des spécifications object-orientées en UML/OCL. On peut analyser des systèmes des contraintes en OCL, établir des raffinements formelles entre des packages et vérifier des programmes simples sur base des contracts en OCL.

Pour en savoir plus: http://www.brucker.ch/projects/hol-ocl/

Logiciel - Licence : GPL



Activités de recherche
  Formalisation de langages (de spécification et de programmation) dans les assistants de preuve

Membres
  WOLFF Burkhart

Equipe
  Vérification d'Algorithmes, Langages et Systèmes

BSP++
The C++ Bulk Synchronous Parallelism Library

TAXOMAP ALIGNMENT
Un outil d'alignement de taxonomies

FR1155729
Procédé pour l’extinction de routeurs dans un réseau de communications et routeur mettant en œuvre ce procédé