Jive Data and Store Model

Nicole Rauch 📧 and Norbert Schirmer

June 20, 2005

Abstract

This document presents the formalization of an object-oriented data and store model in Isabelle/HOL. This model is being used in the Java Interactive Verification Environment, Jive.

License

GNU Lesser General Public License (LGPL)

Topics

Session JiveDataStoreModel