Real-time reachability implementation

This is an implementation of the real-time reachability algorithm from Bak, Johnson, Caccamo, and Sha 2014 RTSS and extended in a 2016 TECS extension article.

TECS 2016 Paper (pdf; best version to read, updated over 2014 RTSS paper)
RTSS Paper (pdf)

rtreach implementation Bitbucket repository

Download prototype implementation used for evaluation (zip)