TsmartLW is a static analysis tool with optimizations for reachability determination.
To use TsmartLW, run start.sh using bash and follow the instructions.
The running environment of TsmartLW:
Ubuntu 16.04 LTS
Intel(R) Core(M) i7-6700HQ with 2.60GHz
32 GB of memory