基于Tecton的验证系统Violet
Proof System Violet Based on Tecton作者机构：华东理工大学计算机科学与工程系上海200237
出 版 物：《华东理工大学学报（自然科学版）》 (Journal of East China University of Science and Technology)
年 卷 期：2005年第31卷第2期
页 面：198-202页
核心收录：
学科分类：0810[工学-信息与通信工程] 0817[工学-化学工程与技术] 08[工学] 0805[工学-材料科学与工程（可授工学、理学学位）] 0703[理学-化学] 0702[理学-物理学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论]
基 金：国家自然科学基金(60373075) 教育部科学技术研究重点项目(01077) 教育部优秀青年教师资助计划项目
摘 要：在Tecton语言对面向概念的构件进行形式化规范的基础上,创建了Violet验证系统对构件的性质进行自动验证。Violet系统是基于重写技术的验证工具,其主要目的是辅助用户发现和理解构件规范的验证,并建立经过验证的软硬件的构件库。描述了系统在可视化和自动化方面的主要特性,并实现了位交换协议的Tecton规范和系统验证。
维普期刊数据库
同方期刊数据库