Yiannis Charalambous

Identifiers

• name variant Yiannis Charalambous 0.60 · backfill

Papers (1)

1. ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification cs.SE · 2026 · author #3

Mentions

• 2605.27051 #3 · arxiv_oai · confidence 0.70 Yiannis Charalambous

Frequent Coauthors

• Konstantin Korovin 1 shared papers
• Lucas C. Cordeiro 1 shared papers
• Muhammad A. A. Pirzada 1 shared papers
• Weiqi Wang 1 shared papers