Read the developer documentation at doc/DEVELOPER.md.

The user manual is at doc/manual.md. There is also documentation at the RV-Predict website.

For support and bug reports please visit Runtime Verification Support.