形式化系统设计与验证:一个视角

Proceedings of the 13th Innovations in Software Engineering Conference on Formerly known as India Software Engineering Conference Pub Date : 2020-02-27 DOI:10.1145/3385032.3385060

S. Rajamani

{"title":"形式化系统设计与验证:一个视角","authors":"S. Rajamani","doi":"10.1145/3385032.3385060","DOIUrl":null,"url":null,"abstract":"We give a perspective on rigorous design and verification, by reflecting on some design and verification efforts we have worked on with collaborators over many years.","PeriodicalId":382901,"journal":{"name":"Proceedings of the 13th Innovations in Software Engineering Conference on Formerly known as India Software Engineering Conference","volume":"103 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-02-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Formal System Design and Verification: A Perspective\",\"authors\":\"S. Rajamani\",\"doi\":\"10.1145/3385032.3385060\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We give a perspective on rigorous design and verification, by reflecting on some design and verification efforts we have worked on with collaborators over many years.\",\"PeriodicalId\":382901,\"journal\":{\"name\":\"Proceedings of the 13th Innovations in Software Engineering Conference on Formerly known as India Software Engineering Conference\",\"volume\":\"103 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2020-02-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 13th Innovations in Software Engineering Conference on Formerly known as India Software Engineering Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3385032.3385060\",\"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 of the 13th Innovations in Software Engineering Conference on Formerly known as India Software Engineering Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3385032.3385060","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

我们通过反思我们多年来与合作者一起工作的一些设计和验证工作，给出了一个关于严格设计和验证的观点。

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

查看原文本刊更多论文

Formal System Design and Verification: A Perspective

We give a perspective on rigorous design and verification, by reflecting on some design and verification efforts we have worked on with collaborators over many years.

求助全文

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

来源期刊

Proceedings of the 13th Innovations in Software Engineering Conference on Formerly known as India Software Engineering Conference

自引率

0.00%

发文量