HOL-OCL
Edit Page
Report
Scan day: 16 February 2014 UTC
37
Virus safety - good
Description: HOL-OCL is an interactive proof environment for the Object Constraint Language (OCL) implemented in Isabelle/HOL.
is an interactive proof environment for the Object Constraint Language ( ). It is implemented as a shallow embedding of ) instance of the interactive theorem prover Isabelle. specifications, and builds the basis for further tool support, e.g. for the automatic test-case generation.
Size: 282 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | The HOL-OCL Website |
| Keywords: | Isabelle, Isabelle/HOL, OCL/UML, Object Constraint Language, OCL, Semantics |
| Description: | |
| IP-address: | 195.114.98.39 |
WHOIS Info
| NS | Name servers: dns.twiddletec.de home.twiddletec.de |
| WHOIS | |
| Date |