GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic
DOI10.1007/978-3-540-78800-3_26zbMATH Open1134.68420OpenAlexW1585581063MaRDI QIDQ5458337FDOQ5458337
Authors: Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Wen-Chin Chan, Chi-Jian Luo 
Publication date: 11 April 2008
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-78800-3_26
Recommendations
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Weak alternating automata are not that weak
- Automated Technology for Verification and Analysis
- ``More deterministic vs. ``smaller Büchi automata for efficient LTL model checking
- Verification by augmented finitary abstraction
- Mathematical Foundations of Computer Science 2003
- Tools and Algorithms for the Construction and Analysis of Systems
- Nested emptiness search for generalized Büchi automata
- Title not available (Why is that?)
Cited In (7)
- Owl: a library for \(\omega \)-words, automata, and LTL
- A theoretical framework for cardinality-based feature models: the semantics and computational aspects
- State of Büchi complementation
- From linear temporal logics to Büchi automata: the early and simple principle
- Büchi Store: an open repository of Büchi automata
- Tool support for learning Büchi automata and linear temporal logic
- Title not available (Why is that?)
Uses Software
This page was built for publication: GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458337)
