[ProofPower] HELP TO AN INCONSISTENCY PROOF!!

[Thiago Carvalho de Sousa]

Hi All,

I´m newbie in Proofpower and I´d like to have some
help to prove an Z specification inconsistency using
ProofPower. It is a modelling inconsistency, where the
description of an operation conflicts with a state
invariant. More especifically, I´d like a script to
detect this kind of inconsistency. I´m sending to you
a .doc file with 2 examples about what I´m trying to
do. Thanks in advance!

Best regards,

=====
Thiago Carvalho de Sousa
Msc Student 
University of São Paulo


	
		
__________________________________
Do you Yahoo!?
Yahoo! Domains – Claim yours for only $14.70/year
http://smallbusiness.promotions.yahoo.com/offer 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: test.doc
Type: application/msword
Size: 768 bytes
Desc: test.doc
URL: <http://lemma-one.com/pipermail/proofpower_lemma-one.com/attachments/20040520/84ad79e1/attachment.doc>