REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2008, Volume 16, Issue 4

Szukanie zaawansowane
  • Zespoły i Kolekcje


  • Zaloguj się
  • Zarejestruj się
  • Mój RUB
  • FAQ
  • Polityka
  • Regulamin
  • DOI
  • Instrukcja
  • Aspekty prawne
  • Open Access
  • Archiwum


  • Kontakt
  • O Dspace
  • Strona Biblioteki
  • Strona Uczelni



    • Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/21084
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorIshida, Kazuhisa-
    dc.contributor.authorShidama, Yasunari-
    dc.date.accessioned2026-09-22T09:42:50Z-
    dc.date.available2026-09-22T09:42:50Z-
    dc.date.issued2008-
    dc.identifier.citationFormalized Mathematics, Volume 16, Issue 4, 2008, Pages 333-338pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/21084-
    dc.description.abstractThis 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.pl
    dc.language.isoenpl
    dc.publisherUniversity of Białystokpl
    dc.rightsAttribution-ShareAlike 4.0 Internationalpl
    dc.rights.urihttps://creativecommons.org/licenses/by-sa/4.0/-
    dc.titleModel Checking. Part IIIpl
    dc.typeArticlepl
    dc.rights.holder© 2009 Kazuhisa Ishida, Yasunari Shidama, published by University of Białystokpl
    dc.rights.holderThis work is licensed under the Creative Commons License.pl
    dc.identifier.doi10.2478/v10037-008-0042-y-
    dc.description.AffiliationKazuhisa Ishida - Shinshu University Nagano, Japanpl
    dc.description.AffiliationYasunari Shidama - Shinshu University Nagano, Japanpl
    dc.description.referencesGrzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41–46, 1990.pl
    dc.description.referencesGrzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107–114, 1990.pl
    dc.description.referencesCzesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.pl
    dc.description.referencesCzesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153–164, 1990.pl
    dc.description.referencesCzesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47–53, 1990.pl
    dc.description.referencesAgata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165–167, 1990.pl
    dc.description.referencesKrzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35–40, 1990.pl
    dc.description.referencesKazuhisa Ishida. Model checking. Part I. Formalized Mathematics, 14(4):171–186, 2006.pl
    dc.description.referencesKazuhisa Ishida. Model checking. Part II. Formalized Mathematics, 16(3):231–245, 2008.pl
    dc.description.referencesJarosław Kotowicz. Real sequences and basic operations on them. Formalized Mathematics, 1(2):269–272, 1990.pl
    dc.description.referencesKonrad Raczkowski and Andrzej Nędzusiak. Series. Formalized Mathematics, 2(4):449-452, 1991.pl
    dc.description.referencesMichał J. Trybulec. Integers. Formalized Mathematics, 1(3):501–505, 1990.pl
    dc.description.referencesWojciech A. Trybulec. Partially ordered sets. Formalized Mathematics, 1(2):313–319, 1990.pl
    dc.description.referencesZinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67–71, 1990.pl
    dc.description.referencesEdmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73–83, 1990.pl
    dc.description.referencesEdmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181–186, 1990.pl
    dc.identifier.eissn1898-9934-
    dc.description.volume16pl
    dc.description.issue4pl
    dc.description.firstpage333pl
    dc.description.lastpage338pl
    dc.identifier.citation2Formalized Mathematicspl
    Występuje w kolekcji(ach):Formalized Mathematics, 2008, Volume 16, Issue 4

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    Model_Checking._Part_III.pdf264,51 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


    Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons