Login / Signup
Ibtihal Eloumami
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Formal Verification
Sufficient Conditions
Theorem Prover
Model Checker
Top Venues
CCTA
</>
Publications
</>
Soraya Mesli-Kesraoui
,
Olga Goubali
,
Djamal Kesraoui
,
Ibtihal Eloumami
,
Flávio Oquendo
Formal Verification of the Race Condition Vulnerability in Ladder Programs.
CCTA
(2020)