• Home
  • Most Popular
  • Submit
  • About Us
  • Contact Us

Softpile

Free Downloads

Categories
  • Home
  • Most Popular
  • Communications
  • Desktop
  • Games & Entertainment
  • Graphic Apps
  • Network & Internet
  • Security & Privacy
  • System Utilities

Achim D. Brucker and Burkhart Wolff

http://www.brucker.ch/projects/hol-ocl/

HOL-OCL

Updated at August 18, 2006 By Achim D. Brucker and Burkhart Wolff
HOL-OCL is an interactive proof environment designed for Object Constraint Language (OCL) that allows users to interact with the software, providing a seamless and user-friendly experience for analyzing OCL programming.
346

HOL-TestGen

Updated at June 20, 2008 By Achim D. Brucker and Burkhart Wolff
HOL-TestGen is a software tool that generates test cases to help conduct unit testing based on specification.
328
Copyright © 1999-2025 Softpile Free Downloads
  • Most Popular
  • Submit
  • About Us
  • Contact Us
  • Privacy Policy
  • Disclaimer
  • Terms of Use

Can we use your data to tailor ads for you?

Our partners will collect data and use cookies for ad personalization and measurement.

By choosing "I agree", closing this pop-up or clicking on any element on the page, you agree to the use of cookies to help us provide you with a better user experience.

Learn how Softpile and our partners collect and use data.

You can change your choice at any time in our privacy center.

Cookie Settings

Our website stores four types of cookies. At any time you can choose which cookies you accept and which you refuse. You can read more about what cookies are and what types of cookies we store in our Cookie Policy.

are necessary for technical reasons. Without them, this website may not function properly.

are necessary for specific functionality on the website. Without them, some features may be disabled.

allow us to analyse website use and to improve the visitor's experience.

allow us to personalise your experience and to send you relevant content and offers, on this website and other websites.