Featherweight OCL A study for the consistent semantics of OCL 2.3 in HOL Achim D. Brucker Burkhart Wolff∗

First Page		Document Content
Date: 2012-09-25 06:20:13 Unified Modeling Language Object Constraint Language Software Data management ECO Isabelle OCL Null Higher-order logic		Featherweight OCL A study for the consistent semantics of OCL 2.3 in HOL Achim D. Brucker Burkhart Wolff∗ Add to Reading List Source URL: st.inf.tu-dresden.de Download Document from Source Website File Size: 203,87 KB Share Document on Facebook

	LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based DocID: 1xVCA - View Document
	Bounded Model Generation for Isabelle/HOL Using a SAT Solver Tjark Weber DocID: 1xVzf - View Document
	Integrating a SAT Solver with an LCF-style Theorem Prover A Fast Decision Procedure for Propositional Logic for the Isabelle System Tjark Weber DocID: 1xVu1 - View Document
	PDF Document DocID: 1xVhU - View Document
	Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very DocID: 1xVds - View Document