Model-checking algorithms - URGENT !!!

Model-checking algorithms - URGENT !!!

Post by Y » Thu, 17 Mar 2005 18:47:31


hi,

can some one help me to ...


Modify the model-checking algorithm of RTCTL with respect to a Kripke
model to a model-checking algorithm of TL-CTL with respect to a TLK.


Thanking you in anticipation,
XXXX@XXXXX.COM
Y
 
 
 

Model-checking algorithms - URGENT !!!

Post by Y » Thu, 24 Mar 2005 16:38:32

Please help me !!! :(