Program Verification - Globe Thesis

Font Size: a A A

Keyword [Program Verification] Result: 21 - 40 \| Page: 2 of 4
21.	Design And Implementation Of Static Verifier In VeriJava
22.	Research On Methods Of Security Assurance Based On Computer-Assisted Proof
23.	Concurrent Object-oriented Program Slicing And Its Application In Program Verification
24.	A BPEL Program Verification Method Research Based On Mealy Machine
25.	Verifying Parallel Low-Level Programs For Multi-core Processor
26.	Proof Generation For Certifying Compiler
27.	A Method To Generate Assertion And Proof About Assembly Language Certifying Compiler
28.	Researches On Two Important Topics Of Certifying Compiler
29.	Dependence Analysis In Program Verification And Legacy System Reengineering By
30.	Analysis Of Pointer Programs And Inference Of Loop-Invariant Shape Graphs
31.	An Automatic Program Verification Tool For Pointerc: Design And Implemetation
32.	Analysis And Testing Of Web Services Choreography Description Language
33.	The Research Of Software Formal Verification Technology Based On Hoare Logic
34.	Modulation Domain Analyzer Program Verification, And Key Components Of The Development,
35.	Axiomatic Semantics Of The Java Language Exception Handling Mechanism
36.	The Design And Implementation Of Program Verification Tools Base On Invariants
37.	An Integration Of Several Data Flow Analysis Techniques For Program Verification
38.	Refinement-Based Verification Of TL2Transactions
39.	Refinement Verification Of Concurrent Programs And Its Applications
40.	Some Problems In Quantum Program Verification
<<First <Prev Next> Last>> Jump to