Alexandrina Korneva

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 3

Top Topics

Top Venues

FM Workshops (1)

Publications

Sylvain Conchon, Alexandrina Korneva
The Cubicle Fuzzy Loop: A Fuzzing-Based Extension for the Cubicle Model Checker. SEFM (2023)
Sylvain Conchon, Alexandrina Korneva, Çagdas Bozman, Mohamed Iguernlala, Alain Mebsout
Formally Documenting Tenderbake (Short Paper). FMBC@CAV (2021)
Sylvain Conchon, Alexandrina Korneva, Fatiha Zaïdi
Verifying Smart Contracts with Cubicle. FM Workshops (1) (2019)