首页> 中文期刊>上海交通大学学报 >基于原型验证系统的自稳定算法形式化验证

基于原型验证系统的自稳定算法形式化验证

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

介绍了分布式系统的自稳定性以及原型验证系统(PVS),阐述了从形式化角度验证系统性质的方法.使用PVS对分布式系统及系统中的自稳定算法进行形式化描述和建模,并成功地证明了系统的自稳定性.同时,通过机械化的验证和分析结果,可以得出形式化证明的优势.

著录项

来源
《上海交通大学学报》|2009年第6期|875-878|共4页
作者
毛玲炤; 邓玉欣;
展开▼
作者单位

上海交通大学计算机科学与工程系;

展开▼
原文格式 PDF
正文语种 chi
中图分类形式语言理论;
关键词
分布式系统; 自稳定算法; 形式化分析; 原型验证系统;

相似文献

中文文献
外文文献
专利

1. 基于Hoare逻辑的密码软件形式化验证系统 [J] . 郝耀辉 ,郭渊博 ,罗婷 . 计算机工程 . 2012,第003期
2. 基于FPGA原型的GPS基带验证系统设计与实现 [J] . 冯华星 ,何文涛 ,李晓江 . 电子技术应用 . 2010,第007期
3. 基于模拟存储器的FPGA原型验证系统 [J] . 张明 ,周宏伟 ,张民选 . 计算机工程与科学 . 2007,第006期
4. S2C为Xilinx原型验证系统提供突破性验证模块技术 [J] . . 世界电子元器件 . 2011,第010期
5. 可视化的安全策略形式化描述与验证系统 [J] . 雷新锋 ,刘军 ,肖军模 . 计算机工程 . 2008,第024期
6. 一种基于FPGA原型验证系统的性能优化方法 [C] . Meng Bin ,孟宾 ,Ou Guodong . 第十六届计算机工程与工艺年会暨第二届微处理器技术论坛 . 2012
7. 基于Flask的形式化验证系统的设计与实现 [A] . 周文帆 . 2020

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号