HOL-OCL 0.9.0

HOL-OCL is an interactive proof environment for the Object Constraint Language (OCL).
HOL-OCL
  1 Screenshot
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, 17:13 GMT
price:
FREE!
developed by:
Achim D. Brucker and Burkhart Wolff
homepage:
www.brucker.ch
license type:
GPL (GNU General Public License) 
category:
ROOT \ Science and Engineering \ Mathematics
HOL-OCL
Download Button

In a hurry? Add it to your Download Basket!

user rating 15

2.4/5
 

0/5

Rate it!

Add your review!

SUBMIT