SourceForge.net Logo
project summary

 

Jive Data and Store Model

 

Title: Jive Data and Store Model
Author: Nicole Rauch and Norbert Schirmer and
Submission date: 2005-06-20
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.