#	Pagina
attuale pagina	/open-h2020/per-topic/checkable/list/index.html
-1	/open-fp7/projects/96385/index.html
-2	/open-h2020/per-topic/etiological/list/index.html
-3	/open-h2020/per-topic/monocultural/list/index.html
-4	/open-h2020/per-topic/punishers/list/index.html
-5	/open-h2020/per-country/be/vlaamse+vervoersmaatschappij+de+lijn/index.html
-6	/open-h2020/per-topic/psycholinguistic/list/index.html
-7	/open-h2020/per-topic/spinnaker/list/index.html
-8	/open-h2020/per-topic/augusto/list/index.html
-9	/open-h2020/per-topic/cries/list/index.html
-10	/open-h2020/projects/194108/deliverables.html

Opendata, web and dolomites

H2020 projects about "checkable"

The page lists 3 projects related to the topic "checkable".

#	achronym	title	year
1	ALEXANDRIA	Large-Scale Formal Proof for the Working Mathematician	2017
2	FRAPPANT	Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation	2018
3	FTHPC	Fault Tolerant High Performance Computing	2019