AlgoViz.org | The Algorithm Visualization Portal

The Annotated Bibliography is a collection of curated links to research literature on AV topics.

Tsay Y-, Chen Y-, Tsai M-, Chan W-, Luo CJ. Tools and Algorithms for the Construction and Analysis of SystemsGOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic. Vol 4963. Berlin, Heidelberg: Springer; 2008.

Tsay Y-, Chen Y-, Tsai M-, Wu K-, Chan W-. GOAL: A graphical tool for manipulating Büchi automata and temporal formulae. In: Proceedings of TACAS (2007), LNCS 4424. Springer; 2007. p. 466-71.

Tsay Y-, Chen Y-, Wu K-. Tool Support for Learning Buchi Automata and Linear Temporal Logic. In: Enhancing Formal Methods Education. A Workshop at the Formal Methods 2006 Symposium.; 2006.