RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Model. Anal. Inform. Sist.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Model. Anal. Inform. Sist., 2007, Volume 14, Number 1, Pages 11–18 (Mi mais119)  

This article is cited in 1 scientific paper (total in 1 paper)

Synchronous model of automaton program

S. V. Kubasov, V. A. Sokolov

Yaroslavl State University

Abstract: This article presents a model of automaton program that satisfies synchronous model requirements. A formal automaton program model lets to use an existing technologies and tools of synchronous programs verification for checking automaton programs. An Esterel language and an Esterel Technologies Inc. toolbox will be used to build a program verifier.

Full text: PDF file (134 kB)
References: PDF file   HTML file

UDC: 519.68/.69
Received: 13.12.2006

Citation: S. V. Kubasov, V. A. Sokolov, “Synchronous model of automaton program”, Model. Anal. Inform. Sist., 14:1 (2007), 11–18

Citation in format AMSBIB
\Bibitem{KubSok07}
\by S.~V.~Kubasov, V.~A.~Sokolov
\paper Synchronous model of automaton program
\jour Model. Anal. Inform. Sist.
\yr 2007
\vol 14
\issue 1
\pages 11--18
\mathnet{http://mi.mathnet.ru/mais119}


Linking options:
  • http://mi.mathnet.ru/eng/mais119
  • http://mi.mathnet.ru/eng/mais/v14/i1/p11

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    This publication is cited in the following articles:
    1. S. V. Kubasov, “Verifikatsiya sinkhronno-avtomatnykh programm”, Model. i analiz inform. sistem, 14:4 (2007), 20–27  mathnet
  • Моделирование и анализ информационных систем
    Number of views:
    This page:116
    Full text:49
    References:24

     
    Contact us:
     Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019