Z specs

Article View: comp.specification

Article #4

Back to comp.specification Previous Next

From: Joan Krone
Date: Tue, 27 Oct 1992 04:28

8 lines
787 bytes

	Yesterday I posted a request for references in which
programs implementing Z specifications were verified, i.e.,
correctness proofs were given showing that a particular implementation
met the Z specifications.  The address I gave was not correct.
Please send such references to
		krone@sunshine.mathsci.denison.edu

		Joan Krone

Technical Details

Message-ID: <9210271428.AA27028@python.cis.ohio-state.edu>

Path: arc1-ca.pugleaf.net!sparky!uunet!usc!zaphod.mps.ohio-state.edu!cis.ohio-state.edu!news.cis.ohio-state.edu!krone-j

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification
Path: arc1-ca.pugleaf.net!sparky!uunet!usc!zaphod.mps.ohio-state.edu!cis.ohio-state.edu!news.cis.ohio-state.edu!krone-j
From: krone-j@news.cis.ohio-state.edu (Joan Krone)
Subject: Z specs
Message-ID: <9210271428.AA27028@python.cis.ohio-state.edu>
Sender: krone-j@cis.ohio-state.edu (Joan Krone)
Organization: The Ohio State University Department of Computer and Information Science
Date: Tue, 27 Oct 1992 04:28:57 GMT
Lines: 8