Scholar
Konstantin Korovin
Google Scholar ID: NCNsDlYAAAAJ
The University of Manchester, Depratement of Computer Science
Automated Reasoning
Verification
Logic
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,559
H-index
21
i10-index
35
Publications
20
Co-authors
15
list available
Publications
3 items
Neuro-Symbolic Software Verification: Hyper-charging Local Language Models with Symbolic Reasoning at Scale
2026
Cited
0
ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification
2026
Cited
0
ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST
arXiv.org · 2024
Cited
0
Co-authors
7 total
Andrei Voronkov
The University of Manchester; EasyChair
Ross D. King
Professor of Machine Intelligence, Chalmers University
Laura Kovacs
TU Wien, Vienna, Austria
Thomas Sturm
Research Director, CNRS
Ori Lahav
Tel Aviv University
Arie Gurfinkel
University of Waterloo
Nikolaj Bjorner
Microsoft Research
