Andrey Rybalchenko
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Software Testing and Debugging Techniques, Security and Verification in Computing, Logic, Reasoning, and Knowledge
Most-Cited Works
- → Termination proofs for systems code(2006)319 cited
- → Transition invariants(2004)251 cited
- → Synthesizing software verifiers from proof rules(2012)237 cited
- → Horn Clause Solvers for Program Verification(2015)231 cited
- → Automatic Discovery and Quantification of Information Leaks(2009)203 cited
- → ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement(2006)156 cited
- → Proving non-termination(2008)155 cited
- → InvGen: An Efficient Invariant Generator(2009)152 cited