BT

New Early adopter or innovator? InfoQ has been working on some new features for you. Learn more

rss

Christian Colombo on FSM-based Monitoring and Runtime Verification

Interview with Christian Colombo on  Sep 23, 2011

Larva is a runtime monitoring system that uses AspectJ to weave monitoring into Java code and can check the correctness of the program using an FSM; Elarva is an Erlang version of the tool.

BT