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 would like to talk about for organizational 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 modeling environment that is centered 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 bitcoin browserextensions browsersecurity chrome cordova dast devops devsecops event extensions fixeffort floss hol-ocl hol-testgen hybridapps iast industry iot isabelle/hol logic malicous mbst mobile modeling monads ocl opensource owasp research sap sast sdlc secdevops security securityengineering securitytesting staff&positions test&proof testing tips&tricks tools tuos uk verification webinar websecurity


blog whole site