TAOS at the International Software Safety Conference 2017, November 23rd, Seoul, Korea