Formal verification - Globe Thesis

Keyword [Formal verification] Result: 21 - 40 \| Page: 2 of 10
21.	Research On Formal Verification Methods Of Security Protocols Based On Strand Space Model
22.	The Formal Verification Techniques For The Timed System Using Timed Automata
23.	Formal Verification Technology For Object-Oriented Software
24.	Research On Logic Equivalence Checking For Integrated Circuits
25.	Formal Verification Of Hybrid Systems
26.	The Research On Service Oriented Web Software Development Technology Based On Formal Method
27.	Verification And Testing Technology For Web Applications
28.	Research On The Theory And Application Of The State π Calculus Based Formal Verification For Grid Service Flows
29.	Research On Formal Verification And QoS-aware Composition Methods For Web Services Composition
30.	Research On RTL-gate Equivalence Checking
31.	Equivalence Checking And Test Generation Using Boolean Satisfiability
32.	Research On The Formal Verification Of ASIP Architecture Level Design
33.	Research On Verification Of Secure Operating System Based On Model Checking
34.	Research On Formal Verification Method For VLSI Design
35.	Object-oriented MSVL And Its Application To Verification Of Composite Web Services
36.	Formal Verification Method For Digital Circuits Based On Finite Ring Polynomials
37.	Modeling And Analyzing Metamodel Of Network Software Requirement Based On Web Service
38.	Research On Open Temporal Logic Based Formal Verification And Modular Reasoning Of Aspect-Oriented Programs
39.	Research On Formal Verification Methods Of Security Protocols
40.	Research On Formal Methods For Digital Circuit Verification Based On Polynomial Symbolic Algebra
<<First <Prev Next> Last>> Jump to