Runtime Reflection - News

Jan-30-2006: Added documentation

In the documentation section, you can now find a number of papers which detail on the methods used in the runtime reflection framework.

Oct-25-2005: Released lsat_diagnosis 0.0.1 (development)

The diagnosis component is now publicly available from the downloads section. Its aim is to use the monitor results in order to identify causes of failure and thus, differntiate from mere symptoms of a failure. For now, please refer to the tar-ball for a detailed documentation of this component. Your feedback is more than welcome!

Oct-18-2005: Released runtime_verification 0.0.1 (development)

The first public release of the runtime verification framework has been released. It is available in the downloads section. Please, report feedback.