Scholar

Konstantin Korovin

Google Scholar ID: NCNsDlYAAAAJ

The University of Manchester, Depratement of Computer Science

Automated ReasoningVerificationLogicFormal Methods

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

1,559

H-index

21

i10-index

35

Publications

20

Co-authors

15

list available

Contact

No contact links provided.

Publications

1 items

ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST

arXiv.org · 2024

Cited

0

Resume (English only)

Co-authors

15 total

Andrei Voronkov

The University of Manchester; EasyChair

Professor of Machine Intelligence, Chalmers University

TU Wien, Vienna, Austria