BT
x Share your thoughts on trends and content!
rss

Christian Colombo on FSM-based Monitoring and Runtime Verification

Interview with 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.

General Feedback
Bugs
Advertising
Editorial
Marketing
InfoQ.com and all content copyright © 2006-2016 C4Media Inc. InfoQ.com hosted at Contegix, the best ISP we've ever worked with.
Privacy policy
BT

We notice you're using an ad blocker

We understand why you use ad blockers. However to keep InfoQ free we need your support. InfoQ will not provide your data to third parties without individual opt-in consent. We only work with advertisers relevant to our readers. Please consider whitelisting us.