Concepedia

Zeinab Nehaï

ZN

Statistics

Publications

2

Citations

92

H-Index

2

Active since

2018

Affiliations

Ecole Supérieure d'Ingénieurs Léonard de Vinci(Current)

Zeinab Nehaï is an author at Ecole Supérieure d'Ingénieurs Léonard de Vinci specializing in formal methods, smart contracts, and automated reasoning.

Top concepts

Publications per year

2018–2019

2

Publications

2

Model-Checking of Smart Contracts

Zeinab Nehaï, Pierre-Yves Piriou, Frédéric Daumas · 2018 · 80 citations

, , +20

Deductive Proof of Ethereum Smart Contracts Using Why3

Zeinab Nehaï, François Bobot · arXiv (Cornell University) · 2019 · 12 citations · Full text

, , +22

1–2 of 2