Homepage
About SEG
SEG News
SEG Seminar
Research
Tools
Internal Site
People
Publication
Curriculum
Album
Hot Link
Contact SEG
解定宝博士学位论文获评中国计算机学会优秀博士学位论文

作者:解定宝,导师:李宣东,卜磊

博士论文《混成系统有界模型检验优化技术研究》针对实时和混成系统可达性验证问题研究优化技术,在状态空间约减、组合系统遍历等方面取得突破,并研制出系统工具,推进了混成系统形式化验证技术的应用进程。