Web Directory

    Top: Computers: Programming: Methodologies: Modeling_Languages: Unified_Modeling_Language: Tools:

 

HOL-OCL

  Link Details for: HOL-OCL
Link Title: HOL-OCL Open in a new window
Link URL: http://www.brucker.ch/projects/hol-ocl/
Link Details: HOL-OCL is an interactive proof environment for the Object Constraint Language (OCL) implemented in Isabelle/HOL.
Category: Top : Computers : Programming : Methodologies : Modeling_Languages : Unified_Modeling_Language : Tools
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
HOL-OCL