Opendata, web and dolomites

H2020 projects about "verifiers"

The page lists 2 projects related to the topic "verifiers".

#	achronym	title	year
1	LIGHTest	Lightweight Infrastructure for Global Heterogeneous Trust management in support of an open Ecosystem of Stakeholders and Trust schemes.	2016
2	PaVeS	Parametrized Verification and Synthesis	2018