%0 Journal Article
%T 基于Tecton的验证系统Violet
%A 翟洁
%A 邵志清
%J 华东理工大学学报
%P 198-202
%D 2005
%X 在Tecton语言对面向概念的构件进行形式化规范的基础上，创建了Violet验证系统对构件的性质进行自动验证。Violet系统是基于重写技术的验证工具，其主要目的是辅助用户发现和理解构件规范的验证，并建立经过验证的软硬件的构件库。描述了系统在可视化和自动化方面的主要特性，并实现了位交换协议的Tecton规范和系统验证。
%K 规范
%K 验证
%K 重写
%K 归纳
%U http://journal.ecust.edu.cn/ch/reader/view_abstract.aspx?file_no=20050256&flag=1