• DocumentCode
    3107490
  • Title

    An Algebraic Approach to Multi-Valued Model Checking

  • Author

    Wu, Jinzhao ; Zhao, Lin

  • Author_Institution
    Univ. of Electron. Sci. & Technol., Chengdu
  • fYear
    2007
  • fDate
    10-13 July 2007
  • Firstpage
    238
  • Lastpage
    239
  • Abstract
    In this abstract, we consider the multi-valued model checking process from an algebra point of view. We propose a general polynomial form of multi-valued logics, and then present a framework to apply Wu´s method (1986) to multi-valued model checking based on the algebraic representations of mv-Kripke structures as well as mv-CTL formulas.
  • Keywords
    polynomials; process algebra; set theory; algebraic representations; multivalued logics; multivalued model checking; mv-CTL formulas; mv-Kripke structures; polynomial form; Algebra; Computational geometry; Computer applications; Computer vision; Lattices; Multivalued logic; Polynomials; Robot vision systems; Signal processing; Signal processing algorithms;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Application of Concurrency to System Design, 2007. ACSD 2007. Seventh International Conference on
  • Conference_Location
    Bratislava
  • ISSN
    1550-4808
  • Print_ISBN
    0-7695-2902-X
  • Type

    conf

  • DOI
    10.1109/ACSD.2007.44
  • Filename
    4276286
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3107490