hol ocl reviews and downloads

Search results for «hol ocl»:

Showing 1 to 10 from 10 matches

HOL-OCL 0.9.0 HOL-OCL is an interactive proof environment for the Object Constraint Language (OCL) GPL (GNU General Public License)

HOL-TestGen 1.2.0 HOL-TestGen allows one to write test specifications in Higher-order logics (HOL) GPL (GNU General Public License)

---

Related: