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.

 

Proof outline Proof document

Browse theories

Download this entry

Older releases: Isabelle 2009: afp-JiveDataStoreModel-2009-04-29.tar.gz Isabelle 2008: afp-JiveDataStoreModel-2008-06-10.tar.gz Isabelle 2007: afp-JiveDataStoreModel-2007-11-27.tar.gz Isabelle 2005: afp-JiveDataStoreModel-2005-10-14.tar.gz