About 6 item dissertation in line with Hoare logic query results,the following is 1 to 50(Search took 0.041 seconds)

  1. To support the research of use case modeling formal evolution,XuJianDong/Yunnan University,0/21
  2. Certifying Compilation in an Infrastructure for Developing Trustable Software,GeLin/University of Science and Technology of China,2/619
  3. A Pointer Logic for Safety Verification of Pointer Programs,HuaBaoJian/University of Science and Technology of China,0/141
  4. Certifying the Safety of Assembly Pointer Programs,LiZhaoPeng/University of Science and Technology of China,0/163
  5. A program verification tool design and implementation,ZhangZhiTian/University of Science and Technology of China,0/79
  6. The Research of Software Formal Verification Technology Based on Hoare Logic,LeiFuXing/PLA Information Engineering University,0/78

Total 1 Pages First Previous 1 Next Last

© 2012 www.DissertationTopic.Net  Mobile