[PPL-devel] ALV based on PPL

[Roberto Bagnara]

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

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it