Dissertation 

About 31 item dissertation in line with C program verification query results,the following is 1 to 50(Search took 0.088 seconds)

  1. An Integration of Several Data Flow Analysis Techniques for Program Verification,XingYuChen/Nanjing University,0/35
  2. Slicing Execution for Verification of C Programs,YiXiaoDong/National University of Defense Science and Technology,3/408
  3. Certifying Compilation in an Infrastructure for Developing Trustable Software,GeLin/University of Science and Technology of China,2/619
  4. The PN Behavior Theories and Its Applications of Concurrent System Synthesis,JiangChangJun/Institute of Computing Technology,0/200
  5. Design of Parallel Optimization Algorithm and Software and Port of Numerical Software,WangJian/Institute of Software,1/765
  6. Proof-Carrying Garbage Collection,LinChunXiao/University of Science and Technology of China,1/81
  7. A Pointer Logic for Safety Verification of Pointer Programs,HuaBaoJian/University of Science and Technology of China,0/141
  8. Constraint Based Prolog Semantics and Its Applications in the Testing, Analysis and Verification of Prolog Programs,ZhaoLingZhong/Xi'an University of Electronic Science and Technology,1/195
  9. Study on Program Verification Based on Symbolic Computation,WuBin/East China Normal University,3/175
  10. The Research of Partitioned Symbolic Execution Model and Its Environment Interaction Problem,FanWenQing/Beijing University of Posts and Telecommunications,2/179
  11. Program Verification Based on Computer Algebra,ZhangZhiHai/Beijing University,0/89
  12. Verifying Parallel Programs Using Software Transactional Memory,LiYong/University of Science and Technology of China,0/98
  13. Automated Loop Invariant Generation for Program Verification,ChenShiKun/National University of Defense Science and Technology,0/103
  14. Verification of Low-level Concurrent Code with Several Synchronization Mechanisms,FuMing/University of Science and Technology of China,0/93
  15. Study on Program Verification,XingJianYing/National University of Defense Science and Technology,1/74
  16. Concurrent Object-oriented Program Slicing and Its Application in Program Verification,HeZhiXue/Suzhou University,4/192
  17. Research on Methods of Security Assurance Based on Computer-Assisted Proof,ShiZuoYuan/PLA Information Engineering University,0/60
  18. Axiomatic semantics of the Java language 's exception handling mechanism,QuWenJing/Dalian University of Technology,0/133
  19. Design and Implementation of Static Verifier in VeriJava,ZhangCheng/Shanghai Jiaotong University,0/28
  20. The Study and Development of the Simulation Programmer for NC Lathers,NiChunJie/Lanzhou University of Technology,0/87
  21. Axiomatic Semantics of Class and Polymorphism for Java,CuiHaiBo/Dalian University of Technology,0/133
  22. Verifying Parallel Low-Level Programs for Multi-core Processor,ZhuYunMin/Tsinghua University,0/134
  23. A program verification tool design and implementation,ZhangZhiTian/University of Science and Technology of China,0/79
  24. Analysis and Testing of Web Services Choreography Description Language,XiaoHao/East China Normal University,0/16
  25. Analysis of Pointer Programs and Inference of Loop-Invariant Shape Graphs,LiuGang/University of Science and Technology of China,0/31
  26. Verify with dynamic thread creation and exit multithreaded programs,WangHaiBo/University of Science and Technology of China,0/29
  27. Researches on Two Important Topics of Certifying Compiler,FanDaWei/University of Science and Technology of China,0/42
  28. A Method to Generate Assertion and Proof about Assembly Language Certifying Compiler,ZhangZhenZuo/University of Science and Technology of China,0/39
  29. Proof Generation for Certifying Compiler,YangSiMin/University of Science and Technology of China,1/40
  30. The Study on Network Planning and Optimization Technology of IP Core Networks,ZhongJianQiang/Nanjing University of Posts and Telecommunications,0/47
  31. Application and Research of Finite Element Method Among Lue Yang Electric Factory Slope Stability Analysis,AnZuo/Xi'an University of Electronic Science and Technology,0/41

Total 1 Pages First Previous 1 Next Last

© 2012 www.DissertationTopic.Net  Mobile