The page lists 2 projects related to the topic "verifiers".
# | |||
---|---|---|---|
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 |