Login / Signup
Yani Ziani
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Software Developers
Temporal Logic
Formal Verification
Model Checker
Top Venues
CoRR
iFM
</>
Publications
</>
Yani Ziani
,
Nikolai Kosmatov
,
Frédéric Loulergue
,
Daniel Gracia Pérez
,
Téo Bernier
Towards Formal Verification of a TPM Software Stack.
iFM
(2023)
Yani Ziani
,
Nikolai Kosmatov
,
Frédéric Loulergue
,
Daniel Gracia Pérez
,
Téo Bernier
Towards Formal Verification of a TPM Software Stack.
CoRR
(2023)