并发系统的正确性验证

[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track Pub Date : 1989-01-03 DOI:10.1109/HICSS.1989.48004

T. Szmuc

{"title":"并发系统的正确性验证","authors":"T. Szmuc","doi":"10.1109/HICSS.1989.48004","DOIUrl":null,"url":null,"abstract":"Formal tools and computer support for correctness verification are proposed. An algebraic process description of the correctness facilitates formal tools aiding correctness proving. Two methods of correctness verification are presented: static verification, corresponding to the verification notion in system programming which is informally described by the software standard; and dynamic correction, which is a generalization of the exception-handling idea. Algorithms for these methods are specified.<<ETX>>","PeriodicalId":325958,"journal":{"name":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track","volume":"39 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Correctness verification of concurrent systems\",\"authors\":\"T. Szmuc\",\"doi\":\"10.1109/HICSS.1989.48004\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Formal tools and computer support for correctness verification are proposed. An algebraic process description of the correctness facilitates formal tools aiding correctness proving. Two methods of correctness verification are presented: static verification, corresponding to the verification notion in system programming which is informally described by the software standard; and dynamic correction, which is a generalization of the exception-handling idea. Algorithms for these methods are specified.<<ETX>>\",\"PeriodicalId\":325958,\"journal\":{\"name\":\"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track\",\"volume\":\"39 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1989-01-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/HICSS.1989.48004\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HICSS.1989.48004","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

提出了用于正确性验证的正式工具和计算机支持。对正确性的代数过程描述有助于帮助证明正确性的形式化工具。提出了两种正确性验证方法:静态验证，对应于软件标准非正式描述的系统编程中的验证概念;以及动态修正，这是异常处理思想的一种概括。指定了这些方法的算法。

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

查看原文本刊更多论文

Correctness verification of concurrent systems

Formal tools and computer support for correctness verification are proposed. An algebraic process description of the correctness facilitates formal tools aiding correctness proving. Two methods of correctness verification are presented: static verification, corresponding to the verification notion in system programming which is informally described by the software standard; and dynamic correction, which is a generalization of the exception-handling idea. Algorithms for these methods are specified.<>

求助全文

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

来源期刊

[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track

自引率

0.00%

发文量