Search alternatives:
programming verification » program verification (Expand search), programming education (Expand search), programming optimization (Expand search)
verification process » certification process (Expand search), purification process (Expand search), vinification process (Expand search)
coder programming » modern programming (Expand search), cone programming (Expand search), order programming (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
programming verification » program verification (Expand search), programming education (Expand search), programming optimization (Expand search)
verification process » certification process (Expand search), purification process (Expand search), vinification process (Expand search)
coder programming » modern programming (Expand search), cone programming (Expand search), order programming (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
1
2
3
4
5
6
7
8
9
10
“... should strive to understand programming details that are irrelevant to the analysis process of the...”
Access document
Access document
Master thesis
11
12
13
14
15
16
17
“... writing assembly language programs, provides for syntactic and semantic code verification, and generates...”
Access document
Access document
Master thesis
18
19
“... a process, called PERCI, that defines a set of verification steps for smart contracts in IoT applications...”
Access document
Access document
Master thesis
20