| 基于Tecton的验证系统Violet |
| |
| 引用本文： | 翟洁,邵志清. 基于Tecton的验证系统Violet[J]. 华东理工大学学报(自然科学版), 2005, 31(2): 198-202 |
| |
| 作者姓名： | 翟洁 邵志清 |
| |
| 作者单位： | 华东理工大学计算机科学与工程系,上海,200237;华东理工大学计算机科学与工程系,上海,200237;中国科学院软件研究所计算机科学实验室,北京,100080 |
| |
| 基金项目： | 国家自然科学基金(60373075)，教育部科学技术研究重点项目(01077)，教育部优秀青年教师资助计划项目 |
| |
| 摘 要： | 在Tecton语言对面向概念的构件进行形式化规范的基础上，创建了Violet验证系统对构件的性质进行自动验证。Violet系统是基于重写技术的验证工具，其主要目的是辅助用户发现和理解构件规范的验证，并建立经过验证的软硬件的构件库。描述了系统在可视化和自动化方面的主要特性，并实现了位交换协议的Tecton规范和系统验证。
|
| 关 键 词： | 规范 验证 重写 归纳 |
| 文章编号： | 1006-3080(2005)02-0198-05 |
| 修稿时间： | 2004-04-10 |
Proof System Violet Based on Tecton |
| |
| ZHAI Jie,SHAO Zhi-qing. Proof System Violet Based on Tecton[J]. Journal of East China University of Science and Technology, 2005, 31(2): 198-202 |
| |
| Authors: | ZHAI Jie SHAO Zhi-qing |
| |
| Affiliation: | ZHAI Jie~1,SHAO Zhi-qing~ |
| |
| Abstract: | |
| |
| Keywords: | specification verfication rewrite induction |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
