safety a tool to translate co-safety linear temporal logic formulas into finite automata still in the beginning stages! written by Matt Maly