loop invariant - Globe Thesis

Font Size: a A A

Keyword [loop invariant] Result: 1 - 12 \| Page: 1 of 1
1.	Automated Loop Invariant Generation For Program Verification
2.	The Research And Application Of New Strategies For Developing Loop Invariants On Recursive Problem
3.	Research On Loop Invariant Development Technology
4.	Analysis Of Pointer Programs And Inference Of Loop-Invariant Shape Graphs
5.	The Research And Application Of Algorithm Programming Design Method Based On Recursive Technique
6.	Research On Generation Of Loop Invariants
7.	The Developing Research Of Fractal Algorithm Based On PAR Method
8.	Research On Automatic Specification Generation And Verifica- Tion For Program Verification
9.	Research On Dafny Program Generation And Verification Based On Model Transformation
10.	Development Of Several Binary Tree Algorithms And Isabelle Machine-Aided Proof
11.	The Automatic Detection Of Loop Invariant
12.	Derivation And Formal Proof Of Non-recursive Algorithm For Binary Tree Queue Recursion Relation Problems
<<First <Prev Next> Last>> Jump to