Email Gateway (Aug 19 2022 at 13:51): Email Gateway (Aug 19 2022 at 13:51):From: "Yannick Duchêne (Hibou57 )" <yannick_duchene@yahoo.fr>
This post is not to seek for help, it's to share something which may be of
interest to people.
That's additional elements to be used with Isabelle, to be able to
formally prove constraints expressed in the OCL language, the one used for
formal specifications in UML diagram (or textual HUTN source) and MOF.
http://www.brucker.ch/projects/hol-ocl/
Seems old, as the page proudly shows the obsolete old Isabelle UI, the one
based on Emacs. The package was indeed last updated 2006-08-15, so there
may be issues. I have not tested it.
Last updated: Apr 26 2024 at 01:06 UTC