About 133 item dissertation in line with formal verification query results,the following is 1 to 50(Search took 0.057 seconds)

  1. Research on AADL model transformation and verification,LiuZuo/Shaanxi Normal University,0/35
  2. Functional Verification of YHFT-DX High Performance DSP,GaoWeiNa/National University of Defense Science and Technology,0/5
  3. Formal Verification of Real-time Operating System in Binary Code Level,ShiJianZuo/East China Normal University,1/258
  4. A Requirements Verification Supporting Tool for Embedded Systems,WangMengJia/Jilin University,0/47
  5. Software Trustworthiness Mesurement Based on Model Checking,HanZuo/Beijing University of Technology,0/89
  6. Analysis and Verification of Security Authorization for Role Based Access Control System,ZhangZuo/Hunan University,0/12
  7. Research on Methodology of Formal Design and Verification for Security Operating System,QianZhenJiang/Nanjing University,0/4
  8. Application of model checking to the formal verification of security protocols,ChenYaJun/University of Electronic Science and Technology,0/119
  9. A Research Approach to Model Abstraction Based on Assertion Graph,WangZhiCai/University of Electronic Science and Technology,0/5
  10. Lattice-valued Quantitative Verification of State Transition Systems,PanHaiYu/East China Normal University,0/52
  11. Research on Property and Application of Spiking Neural P Systems,PengXianWu/Central South University,0/2
  12. Research and design of digital video presenter chip HD,GuYong/University of Electronic Science and Technology,0/14
  13. Design and Implementation of a Formal Verification Tool and a Prototype Platform of Reconfigurable Systems,ChenWeiTao/Northeastern University,0/29
  14. Research on Formal Verification Methods for Integrated Circuit Based on PSA,FanDeHui/Harbin Engineering University,0/29
  15. The application of formal verification and DS encoder and the theory of algebraic system,LiLiMing/Capital Normal University,0/0
  16. With the implementation of symbolic simulation design based on GSTE,ZhangZeEn/University of Electronic Science and Technology,0/2
  17. Implementation of MDD and multi valued GSTE algorithm based on multiple variables,LiuChen/University of Electronic Science and Technology,0/8
  18. Front-end Design and Implementation of Equivalence Checking System of Verilog HDL,MaTieMin/Jilin University,0/51
  19. Verilog Combinational Equivalence Checking Based on SMT Constraint Solver,ZengHaiLin/Jilin University,0/32
  20. Study on Addressable Yield Analysis Chip’s Verification Flow,ShenFei/Zhejiang University,0/7
  21. Design and Formal Verification of PCL based on SoC,MaNing/Xi'an University of Electronic Science and Technology,0/12
  22. Applications of Formal Verification in EDA,ZhangJinLei/Xi'an University of Electronic Science and Technology,0/27
  23. Security Verification Approaches for Navigation of Autonomous Vehicle,LiuBingZheng/Shandong University of Technology,0/24
  24. A Complete Axiomatization for Propositional Projection Temporal Logic and Formal Verifications,ZhangNan/Xi'an University of Electronic Science and Technology,0/46
  25. Formal Verification of Hybrid Systems,ZhangHaiBin/Xi'an University of Electronic Science and Technology,1/250
  26. Research on Logic Equivalence Checking for Integrated Circuits,YangJun/Zhejiang University,2/329
  27. The Formal Verification Techniques for the Timed System Using Timed Automata,XuQingGuo/Shanghai University,1/400
  28. Comprehensive-Information-Based Formal Pragmatic Approach for Agent Communication,ZhangPengFei/Beijing University of Posts and Telecommunications,3/306
  29. Verification for Bus System of a SOC,YueHuaWei/University of Science and Technology of China,2/420
  30. Research on Automatic Service Composition and Formal Verification,DengShuiGuang/Zhejiang University,55/1843
  31. Research on Process Network Based Cooperative Computation Model of Services,ZhangXiuGuo/Dalian Maritime University,8/456
  32. Equivalence Checking for Logic Circuits,LiGuangHui/Institute of Computing Technology,1/270
  33. Research on Some Problems about Proving the Correctness of Programming,FanNianBai/Hunan University,1/523
  34. The Research and Implementation on the Formal Verification Technique of Security Protocol,LiMengJun/National University of Defense Science and Technology,10/770
  35. Compositional Verification Based on Interface Automata,WenYanJun/National University of Defense Science and Technology,3/467
  36. Explaining Counterexample of Model Checking,ShenShengYu/National University of Defense Science and Technology,11/358
  37. Satisfiability problem algorithm and sequential circuit equivalent of the application of the validation,DingMin/Fudan University,4/269
  38. Research on Methods for Formal Verification of Vlsi Circuit,LuYongJiang/Zhejiang University,3/557
  39. Study on Electronic Commerce Transaction Protocols Based on e-Cash,WangZuo/Dalian University of Technology,1/432
  40. Research of UML-Oriented Model Checking,DongWei/People's Liberation Army National Defense University of Science and Technology,17/877
  41. Equivalence Checking and Test Generation Using Boolean Satisfiability,ZhengFeiJun/Zhejiang University,0/161
  42. Research on RTL-gate Equivalence Checking,WengYanLing/Zhejiang University,0/182
  43. Research on the Theory and Application of the State π Calculus Based Formal Verification for Grid Service Flows,XuKe/Tsinghua University,5/311
  44. Verification and Testing Technology for Web Applications,ZengHongWei/Shanghai University,6/443
  45. The Research on Service Oriented Web Software Development Technology Based on Formal Method,SunJunMei/Shanghai University,2/596
  46. Research on Open Temporal Logic Based Formal Verification and Modular Reasoning of Aspect-Oriented Programs,LvJia/Zhejiang University,1/170
  47. Formal Verification Method for Digital Circuits Based on Finite Ring Polynomials,LiDongHai/Harbin Engineering University,0/72
  48. Object-oriented MSVL and Its Application to Verification of Composite Web Services,WangXiaoBing/Xi'an University of Electronic Science and Technology,1/161
  49. Research on Formal Verification Method for VLSI Design,WuJunHua/Harbin Engineering University,0/227
  50. Research on Verification of Secure Operating System Based on Model Checking,ChengLiang/University of Science and Technology of China,3/583

Total 3 Pages First Previous 1 2 3 Next Last

© 2012 www.DissertationTopic.Net  Mobile