HOL-OCL 0.9.0

HOL-OCL is an interactive proof environment for the Object Constraint Language (OCL).

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!
send us
an update
LICENSE TYPE:
GPL (GNU General Public License) 
USER RATING:
2.4/5 15
DEVELOPED BY:
Achim D. Brucker and Burkhart Wolff
HOMEPAGE:
www.brucker.ch
CATEGORY:
ROOT \ Science and Engineering \ Mathematics
1 HOL-OCL Screenshot:
HOL-OCL
HOL-OCL is an interactive proof environment for the Object Constraint Language (OCL). HOL-OCL project 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.

HOL-OCL allows one to reason over OCL specifications, refine OCL specifications, and builds the basis for further tool support, e.g. for the automatic test-case generation.

HOL-OCL is free software; you can redistribute it and/or modify it under the terms of the GPL.

Last updated on August 18th, 2006

#shallow embedding #Higher-order Logic #proof environment #HOL-OCL #shallow #embedding #OCL

Add your review!

SUBMIT