Zijiang (James) Yang wrote:

Dear Roberto,

We plan to integrate PPL into a software model checker using techniques similar to Tevfik's Action Language Verifier. I contacted Tevfik for his PPL-based ALV, but unfortunately he could not locate his copy. From my student David I understand you have a copy. Tevfik agreed that I can ask for the copy from you (I am cc'ing this email to Tevfik). In this case, could you please email me the ALV package you have?

Thanks in advance, and I will keep you updated on the project. James

Dear James,

I have put the version I have of PPL-based ALV in

ftp://ftp.cs.unipr.it/pub/ppl/applications/composite-parma-alpha.tgz

We are in touch with your student David and we will help him to the best of our possibilities. All the best,

Roberto