AW: [abc] Runtime verification, abc docs, benchmarks

From: Eric Bodden <eric.bodden@mail.mcgill.ca>
Date: Thu Jan 12 2006 - 18:38:44 GMT

> Do you have the source code for the AProVE project? From the
> website I could only find the bytecode.

I do, as I have been working on this tool at Aachen. But I will not be
allowed to publish it anywhere, I am afraid, as it is at the moment the
premier tool for termination analysis and the field is quite
competitive...

Eric
Received on Thu Jan 12 18:38:58 2006

This message: [ Message body ]
Next message: Ganesh Sittampalam: "[abc] test run results"
Previous message: Jennifer Lhotak: "Re: [abc] Runtime verification, abc docs, benchmarks"

Contemporary messages sorted: [ By Date ] [ By Thread ] [ By Subject ] [ By Author ] [ By messages with attachments ]

This archive was generated by hypermail 2.1.8 : Fri Jan 13 2006 - 03:20:08 GMT