jLRTLV stands for Java Linear Real-Time Logic Verifier. It was written by Mike Walston at the University of Houston Real-Time Systems Laboratory.
It has the following features:
- Detection of subsystems in linear real-time logic specifications.
- Detection of negative dependencies.
- Determination of generic Lambda solutions.
- Verification of Linear Real-Time Logic Systems via SAT4J.
jLRTLV depends on the following libraries:
- de.bezier.math.combinatorics
- EJML
- SAT4J
Click here for a description of how jLRTLV works.