GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic.

Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Wen-Chin Chan, Chi-Jian Luo

Browse the full TACAS paper archive.