GOAL: A Graphical Tool for Manipulating Bchi Automata and Temporal Formulae.

Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan

Browse the full TACAS paper archive.