Posted on by Achim D. Brucker, licensed under CC BY-ND 4.0.

Lightning Talks at the OCL Workshop

This year, the OCL workshop will host an open session at the end of the day where anybody will have the opportunity to talk about whatever they want for five minutes. No formal pre-submission is required. Just send an email to with the title and one paragraph description of what you’d like to talk about for organisational purposes.

Our presentation has the title “A Formal Methods Environment for OCL: HOL-OCL 2.0”.

We will present HOL-OCL 2.0, a semantically well-founded UML/OCL modelling environment that is centred around a interactive theorem prover for OCL 2.x. While it shares many concepts with HOL-OCL 1.0, it is a complete rewrite that, on the one hand, supports the latest OCL standard (including a four-valued logic) and, on the other hand, brings all the latest features of the Isabelle architecture to OCL (IDE, document generation, advanced proof procedures).

See you in Saint-Malo!

Welcome to the blog of the Software Assurance & Security Research Team at The University of Sheffield. We blog regularly news, tips & tricks, as well as fun facts about software assurance, reliability, security, testing, verification, hacking, and logic.

You can also follow us on Twitter: @logicalhacking.




academia appsec cordova dast devops devsecops fixeffort floss hol-ocl hol-testgen iast industry isabelle/hol logic mbst mobile monads ocl opensource owasp research sap sast sdlc secdevops security securityengineering securitytesting staff&positions test&proof testing tips&tricks tools tuos uk verification


blog whole site