Title :
An Algebraic Approach to Multi-Valued Model Checking
Author :
Wu, Jinzhao ; Zhao, Lin
Author_Institution :
Univ. of Electron. Sci. & Technol., Chengdu
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;
Conference_Titel :
Application of Concurrency to System Design, 2007. ACSD 2007. Seventh International Conference on
Conference_Location :
Bratislava
Print_ISBN :
0-7695-2902-X
DOI :
10.1109/ACSD.2007.44
