Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel HOL-OCL


HOL-OCL - Un systeme de preuve pour UML/OCL
Date de dernière version : 15 août 2017

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

Logiciels et brevets
TOUCHTOKENS
Low-cost Solution for Tangible Interfaces

LODATLAS
Browsing Linked Data Catalogs with LODAtlas

BOLDR
Query Intermediate Representation Library