自动验证就大了

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) Pub Date : 1998-11-13 DOI:10.1109/HASE.1998.731605

Farn Wang, Pao-Ann Hsiung

{"title":"自动验证就大了","authors":"Farn Wang, Pao-Ann Hsiung","doi":"10.1109/HASE.1998.731605","DOIUrl":null,"url":null,"abstract":"An automatic verification method from a high level resource management standpoint is presented. Various manipulators can be incorporated in the method to construct, refine, reduce, and model-check state space representation. Proper combinations of manipulators can then be picked strategically by users or computers for less resource (time and space) consumption. An algorithm based on group theory to pick a manipulator combination is presented. Verification sessions are conducted to illustrate our idea.","PeriodicalId":340424,"journal":{"name":"Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1998-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"23","resultStr":"{\"title\":\"Automatic verification on the large\",\"authors\":\"Farn Wang, Pao-Ann Hsiung\",\"doi\":\"10.1109/HASE.1998.731605\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"An automatic verification method from a high level resource management standpoint is presented. Various manipulators can be incorporated in the method to construct, refine, reduce, and model-check state space representation. Proper combinations of manipulators can then be picked strategically by users or computers for less resource (time and space) consumption. An algorithm based on group theory to pick a manipulator combination is presented. Verification sessions are conducted to illustrate our idea.\",\"PeriodicalId\":340424,\"journal\":{\"name\":\"Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)\",\"volume\":\"34 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1998-11-13\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"23\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/HASE.1998.731605\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HASE.1998.731605","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 23

摘要

从高级资源管理的角度提出了一种自动验证方法。在该方法中可以加入各种操纵符来构造、改进、简化和模型检查状态空间表示。然后，用户或计算机可以策略性地选择适当的机械手组合，以减少资源(时间和空间)消耗。提出了一种基于群理论的机械手组合选择算法。进行验证会议是为了说明我们的想法。

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

查看原文本刊更多论文

Automatic verification on the large

An automatic verification method from a high level resource management standpoint is presented. Various manipulators can be incorporated in the method to construct, refine, reduce, and model-check state space representation. Proper combinations of manipulators can then be picked strategically by users or computers for less resource (time and space) consumption. An algorithm based on group theory to pick a manipulator combination is presented. Verification sessions are conducted to illustrate our idea.

求助全文

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

来源期刊

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)

自引率

0.00%

发文量