Keyword [Program correctness] Result: 1 - 7 | Page: 1 of 1 1.  Study On Program Verification Based On Symbolic Computation 2.  Software Reliability Model Based On Fractal And Mathematic Mechanization Of Program Correctness Proof 3.  The Research On Program Auto-checking Based On XML 4.  Verification Of Program Correctness Based On Tense Logic 5.  Correctness Analysis And Network I/O Reduction For Data-parallel Programs 6.  Static Error Detection For C Programs 7.  Refinement Verification Of Concurrent Programs And Its Applications   <<First  <Prev  Next>  Last>>  Jump to

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