Formal System Design and Verification: A Perspective

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

引用次数: 0

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.

查看原文本刊更多论文

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

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

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

求助全文

约1分钟内获得全文求助全文

来源期刊

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

自引率

0.00%

发文量