formal verification - Dissertation

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

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