GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae
Abstract elided by the publisher.
Related papers
- From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata TACAS 2017
- Efficient Büchi Automata from LTL Formulae CAV 2000
- Limit-Deterministic Büchi Automata for Linear Temporal Logic CAV 2016
- GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic TACAS 2008
- LTL to Büchi Automata Translation: Fast and More Deterministic TACAS 2012
- Deterministic Automata for the (F, G)-Fragment of LTL CAV 2012
- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach CAV 2019
- Verifying Temporal Properties without Temporal Logic TOPLAS 1989