局域网协议的自动验证:一个案例研究

IEEE Second Symposium on Communications and Vehicular Technology in the Benelux Pub Date : 1994-11-02 DOI:10.1109/SCVT.1994.574155

I. Voet

{"title":"局域网协议的自动验证:一个案例研究","authors":"I. Voet","doi":"10.1109/SCVT.1994.574155","DOIUrl":null,"url":null,"abstract":"The COSPAN development method is a state machine based development method that enables stepwise development of protocols. Both specifications and properties are formalised in the same framework. Automated verification is provided for checking properties against specifications as well as for checking consistency of development. The application of COSPAN in the development of a carrier sense multiple access protocol for a single channel wireless LAN is investigated.","PeriodicalId":236384,"journal":{"name":"IEEE Second Symposium on Communications and Vehicular Technology in the Benelux","volume":"43 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Automated verification of LAN protocols: a case study\",\"authors\":\"I. Voet\",\"doi\":\"10.1109/SCVT.1994.574155\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The COSPAN development method is a state machine based development method that enables stepwise development of protocols. Both specifications and properties are formalised in the same framework. Automated verification is provided for checking properties against specifications as well as for checking consistency of development. The application of COSPAN in the development of a carrier sense multiple access protocol for a single channel wireless LAN is investigated.\",\"PeriodicalId\":236384,\"journal\":{\"name\":\"IEEE Second Symposium on Communications and Vehicular Technology in the Benelux\",\"volume\":\"43 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1994-11-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"IEEE Second Symposium on Communications and Vehicular Technology in the Benelux\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SCVT.1994.574155\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Second Symposium on Communications and Vehicular Technology in the Benelux","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SCVT.1994.574155","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

COSPAN开发方法是一种基于状态机的开发方法，它支持协议的逐步开发。规范和属性都在同一个框架中形式化。自动验证用于根据规格检查属性以及检查开发的一致性。研究了COSPAN在单通道无线局域网载波感知多址协议开发中的应用。

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

查看原文本刊更多论文

Automated verification of LAN protocols: a case study

The COSPAN development method is a state machine based development method that enables stepwise development of protocols. Both specifications and properties are formalised in the same framework. Automated verification is provided for checking properties against specifications as well as for checking consistency of development. The application of COSPAN in the development of a carrier sense multiple access protocol for a single channel wireless LAN is investigated.

求助全文

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

来源期刊

IEEE Second Symposium on Communications and Vehicular Technology in the Benelux

自引率

0.00%

发文量