Keyword [Formal verification] Result: 181 - 200 | Page: 10 of 10 181.  Methods For Overcoming Two Kinds Of Deficiencies Of Automated Theorem Provers In Program Verification 182.  The Security Verification Technology For Software Code Based On The Formal Methods 183.  Safety Verification Of Hybrid Systems Based On Formal Method 184.  A Formal Analysis Method For System Requirements Based On UML 185.  FPGA-Based Acceleration Technology Of Integrated Circuit’s Formal Verification 186.  The Problem Of Formal Verification Of Generic Program 187.  Petri Net Based Detection And Formal Verification Of Wormhole Attack In Wireless Mesh Network 188.  Research And Implementation On Anonymous Mutual Authentication EAP-AMAM In 3G-WLAN Integrated Network 189.  Research And Implementation Of Model Checking Algorithm Based On Semi-tensor Product 190.  Design And Formal Verification Of Asynchronous_FIFO Based On SOC 191.  The Design And Implementation Of Memory Manager In VTOS And Research On Its Formal Verification 192.  Low Power SDRAM Controller Design And Verification With Software 193.  Research And Implementation Of Model Checking Method Based On Semi-tensor Product 194.  A Research For Functional Modeling Of Module Which Changed Parallel Signal To Serial With Different Model Checking Technologies 195.  Research On Generalized Symbolic Trajectory Evaluation Based Functional Verification For Parallel To Serial Signal Conversion Circuit 196.  Study On The Verification Of Interrupt Delay Controller And GPIO Based On SVA-Based Functional Verification Methods 197.  Formal Analysis Oriented To Robot Planning 198.  Research On Formal Methods For Modeling And Analyzing FPGA Programs 199.  Formal Verification On Wireless Sensor Network Security Protocols Using CSP Model Checking 200.  Research On Network Security Protocol Based On Verification Method   <<First  <Prev  Next>  Last>>  Jump to

Globe Thesis Copyright © 2023. All Rights Reserved. | Privacy | Copyright | Contribute | About | Contact | RSS