LTLfMining: Mining for Linear Temporal Logic (over finite traces) Specifications from Runtime Traces
This repository is for our LTLf mining project. This repository contains runtime traces, Texada templates to mine LTLfs, and generated specifications as Happens-Before Invariants (HBIs)