W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/21084| Tytuł: | Model Checking. Part III |
| Autorzy: | Ishida, Kazuhisa Shidama, Yasunari |
| Data wydania: | 2008 |
| Data dodania: | 22-wrz-2026 |
| Wydawca: | University of Białystok |
| Źródło: | Formalized Mathematics, Volume 16, Issue 4, 2008, Pages 333-338 |
| Abstrakt: | This text includes verification of the basic algorithm in Simple On-the-fly Automatic Verification of Linear Temporal Logic (LTL). LTL formula can be transformed to Buchi automaton, and this transforming algorithm is mainly used at Simple On-the-fly Automatic Verification. In this article, we verified the transforming algorithm itself. At first, we prepared some definitions and operations for transforming. And then, we defined the Buchi automaton and verified the transforming algorithm. |
| Afiliacja: | Kazuhisa Ishida - Shinshu University Nagano, Japan Yasunari Shidama - Shinshu University Nagano, Japan |
| URI: | http://hdl.handle.net/11320/21084 |
| DOI: | 10.2478/v10037-008-0042-y |
| ISSN: | 1426-2630 |
| e-ISSN: | 1898-9934 |
| Typ Dokumentu: | Article |
| metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/4.0/ |
| Właściciel praw: | © 2009 Kazuhisa Ishida, Yasunari Shidama, published by University of Białystok This work is licensed under the Creative Commons License. |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2008, Volume 16, Issue 4 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Model_Checking._Part_III.pdf | 264,51 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
