Fran├žais Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software HOL-OCL

HOL-OCL - A proof system for UML/OCL
Date of the last release: 15 August 2017

Person in charge : WOLFF Burkhart

HOL-OCL is an interactive proof environment for the Object Constraint Language (OCL). It is implemented as a shallow embedding of OCL into the Higher-order Logic (HOL) instance of the interactive theorem prover Isabelle. HOL-OCL is developed by Achim D. Brucker and Burkhart Wolff.

More information:

Software - Licence : GPL

Research activities
  Formalisation of (Specification and Programming) Languages in Proof Assistants

  WOLFF Burkhart

  Verification of Algorithms, Languages and Systems

Software & patents
Deep Neural Architectures for DNA

Low-cost Solution for Tangible Interfaces

Browsing Linked Data Catalogs with LODAtlas