[ProofPower] HELP TO AN INCONSISTENCY PROOF!!

[Thiago Carvalho de Sousa]

Hi Phil,

Thanks a lot for your help. I'll try to improve about
syntatic and typing issues next time. My research is
how to apply belief revision theory (an AI field) in
software engineering specifications. This theory
provides a way to keep consistency. More specifically,
I'll try to solve modelling inconsistencies, which
there are no inputs for which the operation is valid. 
And we can show this operation is `inconsistent' by
demonstrating that its precondition is false. By the
way,I'm going to ask you some others questions:

1) Suppose I have a very large Z specification with
several 'inconsistent' operations. Do I have to check
the pre-condition of each operation? Is not there a
way to check the pre-conditions of the whole system? 

2) For statistical history, some idea about how many
people use Proofpower in the world for software
development? 

Thanks in advance







=====
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