基于Tecton的验证系统Violet

• 作者: 翟洁 邵志清
• 来源期刊: 华东理工大学学报（自然科学版）
• 学科: 工学
• 关键词: 规范 验证 重写 归纳
• 年，卷（期）: 2005,（2）
• 所属期刊栏目: 研究论文
• 页码范围: 198-202
• 页数: 5页
• 分类号: TP301.1
• 字数: 3745字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-3080.2005.02.016

摘要

在Tecton语言对面向概念的构件进行形式化规范的基础上,创建了Viokt验证系统对构件的性质进行自动验证.Viokt系统是基于重写技术的验证工具,其主要目的是辅助用户发现和理解构件规范的验证,并建立经过验证的软硬件的构件库.描述了系统在可视化和自动化方面的主要特性,并实现了位交换协议的Tecton规范和系统验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邵志清	华东理工大学计算机科学与工程系	90	761	14.0	24.0
5	翟洁	华东理工大学计算机科学与工程系	8	18	2.0	3.0