Timing Analysis of
Small Aircraft Transportation System

Homa Niktab, Dr. Albert M.K. Cheng, Mike Walston, Johanne Christensen

Timing Analysis of
Small Aircraft Transportation System

Homa Niktab, Dr. Albert M.K. Cheng, Mike Walston, Johanne Christensen

jLRTLV

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:

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.

- de.bezier.math.combinatorics
- EJML
- SAT4J