This is a demonstrator of an infrastructure for proving resource properties
of bytcode programs in a distributed environment,
developed by the Mobile Resource Guarantees
(MRG) project.
You have 3 choices: Compile and Run Grail, Compile and Run Camelot, do a Proof.
On the "Grail" and "Camelot" paths there is also a direct link to the prover
interface.
