GOAL: A Graphical Tool for Learning Omega-Automata and Temporal Logic
碩士 === 國立臺灣大學 === 資訊管理學研究所 === 95 === Omega-automata and temporal logic are two fundamental components in the automata-theoretic approach to model checking. Omega-automata, in particular B¨uchi automata, are often used as system models, while temporal logic, in particular propositional linear tempor...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_US |
| Published: |
2005
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/32625121645194205132 |