Font Size:
a
A
A
Keyword [Program Verification]
Result: 61 - 78 | Page: 4 of 4
61.
Verification Of Industrial Control Programs Based On Coq
62.
Formal Verification Of SPARCv8 Assembly Code
63.
Termination Analysis Of Linear C Loop Code And Tool Development
64.
OpenMP Program Verification Based On Bounded Model Checking
65.
Memory Consistency and Program Verification
66.
Maximality: Modular verification and implementability
67.
Hardware description language program slicing and way to reduce bounded model checking search overhead
68.
Refinement-based program verification via three-valued-logic analysis
69.
Formal specification and verification of a JVM and its bytecode verifier
70.
The RTL++ language, semantics, and program verification
71.
Program verification by lazy abstraction
72.
Computer program verification: Improvements for human reasoning
73.
Program verification via abstraction using incremental operational specifications
74.
SELF-CHECKING PROGRAMS: AN AXIOMATIC APPROACH TO THE VALIDATION OF PROGRAMS BY THE USE OF ASSERTIONS
75.
Automating Program Verification and Repair Using Invariant Analysis and Test Input Generation
76.
Program Verification Based On Computer Algebra
77.
Proper:a Tool For Analyzing Termination And Assertions For Affine Probabilistic Programs
78.
Counting Proof-optimization And Implementation Of Program Verification Algorithm
<<First
<Prev
Next>
Last>>
Jump to
