Elarva
The Larva monitoring tool has been successfully applied to a number of industrial Java systems, providing extra assurance of behaviour correctness. Given the increased interest in concurrent programming, we propose Elarva, an adaptation of Larva for monitoring programs written in Erlang, an established industry-strength concurrent language. Object-oriented Larva constructs have been translated to process-oriented setting, and the synchronous Larva monitoring semantics was altered to an asynchronous interpretation.

Elarva+

Elarva+ adds an extra debugging aide to programmers by recording the trace which led to a property violation and returns a simplified trace which leads to the same property violation.

Requirements:
The user requires the Erlang Runtime Environment to be installed on the computer system.

How to compile:
The user can use the compiler by executing the following function: compiler:compile(system_name, script_path).

Input syntax:
For a complete reference manual as regards the ELARVA language see the ELARVA User Manual.

How to monitor:
The user should copy the compiler-generated files to the system folder to be monitored and call: master:start().

Downloads:
If you would like a copy of the tool, please fill in the following form, and we will send you the tool directly via email. Should you have any problems with the form, or fail to receive a response in a reasonable amount of time, please let us know via email.

• ELARVA User Manual: The user manual for ELARVA.