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.