Subversion-Specification in Z

[Thomas Marchwinski <ma...@uni-freiburg.de>]

Hello,
my name is Thomas Marchwinski and I am a German student of Computer
Science at the Albert-Ludwigs-University in Freiburg. I have one
question:
I want to make a formal specification of subversion in the formal
language Z.
Now I want to know, if there is something like this already.
If you have heard something about a similar project, then tell me,
please. If there isn't such a project, then tell me also.
Thanks,
Thomas Marchwinski

Re: Subversion-Specification in Z

[Karl Fogel <kf...@galois.collab.net>]

I think no one has done this.

Thomas Marchwinski <ma...@uni-freiburg.de> writes:
> This is a multi-part message in MIME format.
> --------------A34BC937653FAABD1499A10E
> Content-Type: text/plain; charset=us-ascii
> Content-Transfer-Encoding: 7bit
> 
> Hello,
> my name is Thomas Marchwinski and I am a German student of Computer
> Science at the Albert-Ludwigs-University in Freiburg. I have one
> question:
> I want to make a formal specification of subversion in the formal
> language Z.
> Now I want to know, if there is something like this already.
> If you have heard something about a similar project, then tell me,
> please. If there isn't such a project, then tell me also.
> Thanks,
> Thomas Marchwinski
> 
> --------------A34BC937653FAABD1499A10E
> Content-Type: text/x-vcard; charset=us-ascii;
>  name="marchwin.vcf"
> Content-Transfer-Encoding: 7bit
> Content-Description: Card for Thomas Marchwinski
> Content-Disposition: attachment;
>  filename="marchwin.vcf"
> 
> begin:vcard 
> n:Marchwinski;Thomas
> x-mozilla-html:FALSE
> org:Alber-Ludwigs-Universitaet, Freiburg, Germany
> adr:;;;;;;
> version:2.1
> email;internet:marchwin@informatik.uni-freiburg.de
> title:Student
> fn:Thomas Marchwinski
> end:vcard
> 
> --------------A34BC937653FAABD1499A10E--