Timing Analysis of Small Aircraft Transportation System
Homa Niktab, Dr. Albert M.K. Cheng, Mike Walston, Johanne Christensen
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.