2
Publications
49
Citations
2
H-Index
2020
Active since
Ismail Bennani is an author at École Normale Supérieure - PSL specializing in computer science, formal specification, and systems engineering.
Top concepts
EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringFormal SpecificationSoftware Engineering
Publications per year
2020–2021
2
2
ARCH-COMP 2020 Category Report: Falsification
Gidon Ernst, Paolo Arcaini, Ismail Bennani et al. · EPiC series in computing · 2020 · 27 citations · Full text
Engineering, Temporal Logic Specifications, Verification +21
Rows per page
1–2 of 2