[PPL-devel] Question about ALV & PPL

[Roberto Bagnara]

David Rodriguez Velazquez wrote:
> I have a question. I want to use ALV and PPL  instead of Omega.
> Do you have any tip how can I start to work on it? Do you have any advice?

Dear David,

I assume by ALV you mean the Action Language Verifier
(http://www.cs.ucsb.edu/~bultan/composite/index.html).

Back in 2003 Ken Mixter, under the direction of Tevfik Bultan
(both in CC), produced a version of ALV that is based on
the PPL.  That version was never released to the public,
but I have a copy (I don't know if it is up-to-date).
The problem is that this was based on ALV 0.2 and PPL 0.4.2
whereas the current version of ALV is 0.4 and the current
version of PPL is 0.9: I don't know if the PPL interface
developed by Ken is compatible with these new versions.
For the PPL side there is no problem at all: we can make the
required changes in a matter of minutes.  I don't know
if the changes between ALV 0.2 to ALV 0.4 are more difficult
to accommodate.

Let us see if Ken and or Tevfik have something
more up-to-date or some suggestion to offer.
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