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
distributed real-time reachability (drtreach) implementation, used in FORTE'19 paper

Download prototype implementation used for evaluation in RTSS'14 and TECS'16 (zip)