Christian Colombo on FSM-based Monitoring and Runtime Verification

Topics

Java,

AOP,

Monitoring Tools,

Erlang,

Languages,

Methodologies,

Monitoring,

Functional Programming,

Performance & Scalability,

Programming,

Model Driven Engineering,

Modeling,

AspectJ,

Aspect Oriented Programming,

Testing,

Erlang Factory 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.

•  By  Christian Colombo on Sep 23, 2011,
•   Discuss