GitHub repository: runtimeverification/RV-Log
Primary language: Java
Description: Frontend for feeding log files and other precomputed event traces to RV-Monitor.