多值模型检验的一种代数方法

Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) Pub Date : 2007-07-10 DOI:10.1109/ACSD.2007.44

Jinzhao Wu, Lin Zhao

{"title":"多值模型检验的一种代数方法","authors":"Jinzhao Wu, Lin Zhao","doi":"10.1109/ACSD.2007.44","DOIUrl":null,"url":null,"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.","PeriodicalId":323657,"journal":{"name":"Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)","volume":"48 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"An Algebraic Approach to Multi-Valued Model Checking\",\"authors\":\"Jinzhao Wu, Lin Zhao\",\"doi\":\"10.1109/ACSD.2007.44\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":323657,\"journal\":{\"name\":\"Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)\",\"volume\":\"48 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2007-07-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ACSD.2007.44\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ACSD.2007.44","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文从代数的角度考虑了多值模型的检验过程。我们提出了多值逻辑的一般多项式形式，然后提出了一个框架，将Wu的方法(1986)应用于基于mv-Kripke结构的代数表示以及mv-CTL公式的多值模型检查。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

An Algebraic Approach to Multi-Valued Model Checking

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)

自引率

0.00%

发文量