朝着用户友好的设计和验证环境

27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings. Pub Date : 2002-12-05 DOI:10.1109/SEW.2002.1199478

A. Cerone

{"title":"朝着用户友好的设计和验证环境","authors":"A. Cerone","doi":"10.1109/SEW.2002.1199478","DOIUrl":null,"url":null,"abstract":"We present an environment for the verification of complex concurrent software and hardware systems. The tool is targeted at users who are not necessarily expert in formal methods. The underlying mathematical specification language and verification methodologies are hidden to the user by encapsulating them within a high-level environment that supports graphical design, intuitive specification of properties, high-level data representation, customised interfaces and predefined verification strategies. The semantic base of the tool is given by the Circal process algebra, which allows the internal representation of both the system model and its properties within the same language.","PeriodicalId":146269,"journal":{"name":"27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2002-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Towards a user-friendly design and verification environment\",\"authors\":\"A. Cerone\",\"doi\":\"10.1109/SEW.2002.1199478\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present an environment for the verification of complex concurrent software and hardware systems. The tool is targeted at users who are not necessarily expert in formal methods. The underlying mathematical specification language and verification methodologies are hidden to the user by encapsulating them within a high-level environment that supports graphical design, intuitive specification of properties, high-level data representation, customised interfaces and predefined verification strategies. The semantic base of the tool is given by the Circal process algebra, which allows the internal representation of both the system model and its properties within the same language.\",\"PeriodicalId\":146269,\"journal\":{\"name\":\"27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings.\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2002-12-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SEW.2002.1199478\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SEW.2002.1199478","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

我们提出了一个验证复杂并发软硬件系统的环境。该工具的目标用户不一定是形式化方法的专家。底层的数学规范语言和验证方法被封装在支持图形设计、直观的属性规范、高级数据表示、自定义接口和预定义验证策略的高级环境中，从而对用户隐藏起来。该工具的语义基础由循环过程代数给出，它允许在同一语言中对系统模型及其属性进行内部表示。

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

查看原文本刊更多论文

Towards a user-friendly design and verification environment

We present an environment for the verification of complex concurrent software and hardware systems. The tool is targeted at users who are not necessarily expert in formal methods. The underlying mathematical specification language and verification methodologies are hidden to the user by encapsulating them within a high-level environment that supports graphical design, intuitive specification of properties, high-level data representation, customised interfaces and predefined verification strategies. The semantic base of the tool is given by the Circal process algebra, which allows the internal representation of both the system model and its properties within the same language.

求助全文

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

来源期刊

27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings.

自引率

0.00%

发文量