Verification of UML/OCL Specifications with HOL-OCL
by Achim D. Brucker
Keywords:
Categories:
Documents:
Please cite this article as follows:
Achim D. Brucker.
Verification of UML/OCL Specifications with HOL-OCL. Invited guest lecture, part of the lecture "Formal Specification and Verification" (WS 2006), Innsbruck, Austria, 8. jan. 2007.
(slides) (handout) (BibTeX) (
BibTeX
@Talk{ talk:brucker:verification:2007,
}
| address | = | {Innsbruck, Austria}, | |
| author | = | {Achim D. Brucker}, | |
| day | = | {8}, | |
| event | = | {Invited guest lecture, part of the lecture ``Formal Specification and Verification'' (WS 2006)}, | |
| handout | = | {https://www.brucker.ch/bibliography/download/2007/talk-brucker-verification-2007-2x2.pdf}, | |
| isodate | = | {2007-01-08}, | |
| language | = | {USenglish}, | |
| lecturer | = | {Achim D. Brucker}, | |
| month | = | {jan}, | |
| slides | = | {https://www.brucker.ch/bibliography/download/2007/talk-brucker-verification-2007.pdf}, | |
| title | = | {Verification of {UML/OCL} Specifications with {HOL-OCL}}, | |
| url | = | {https://www.brucker.ch/bibliography/abstract/talk-brucker-verification-2007}, | |
| year | = | {2007}, |