Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
electrification from » electrification fund, electrification program, electrification africa
verification flow » verification how, verification tool, verification form
verification 1 » verification _
verification 5 » verification _
electrification from » electrification fund, electrification program, electrification africa
verification flow » verification how, verification tool, verification form
verification 1 » verification _
verification 5 » verification _
1
by Shoham, Sharon.
Published 2022
Format:
Published 2022
Table of Contents: “....3 Concluding Remarks -- References -- Program Verification with Constrained Horn Clauses (Invited Paper) -- 1...”
Click to View
2
by Silva, Alexandra.
Published 2021
Format:
Published 2021
Table of Contents: “... -- 5 Evaluation -- 5.1 Scenarios -- 5.2 Experiment Set-Up -- 5.3 Results -- 5.4 Discussion -- 6 Related...”
Click to View
3
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “... Learning with a Normal Teacher -- 4.6 Complexity Analysis -- 5 Experiments -- 5.1 RQ1: Scalability...”
Click to View
4
by Silva, Alexandra.
Published 2021
Format:
Published 2021
Table of Contents: “... by SMT Solving -- 4.1 From Programs to Symbolic Store Trees -- 4.2 Marginalisation -- 5 Case Studies -- 5.1...”
Click to View
5
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “....3 Extracting FSC from Belief Exploration -- 5 Accelerated Inductive Synthesis -- 5.1 Inductive Synthesis with k...”
Click to View
6
by Enea, Constantin.
Published 2023
Format:
Published 2023
Table of Contents: “... -- 5.1 Reduction from Incremental Regex Emptiness to GIDs -- 6 Related Work -- References -- Model...”
Click to View
7
8
9
by Ganjei, Zeinab.
Published 2021
Format:
Published 2021
Table of Contents: “... of Figures -- List of Tables -- 1 Introduction -- 2 Background -- 3 Preliminaries -- 4 Safety Verification...”
Click to View
10
by World Bank
Published 2017
Subjects:
“...CERTIFICATION AND VERIFICATION...”Published 2017
Get full text
Get full text
11
by World Bank Group
Published 2016
“... from 121.3 to 70.2 deaths per 1’000 live births;
under 5 mortality diminished from 179.1...”Published 2016
Get full text
Get full text
12
13
14
15
16
by World Bank
Published 2022
“...
from a conventional monitoring, reporting, and verification
(MRV) system to a D-MRV system...”Published 2022
Get full text
Get full text
17
18
19
20