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