Muhammad A. A. Pirzada

Identifiers

• name variant Muhammad A. A. Pirzada 0.60 · backfill

Papers (1)

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

Mentions

• 2605.27051 #1 · arxiv_oai · confidence 0.70 Muhammad A. A. Pirzada

Frequent Coauthors

• Konstantin Korovin 1 shared papers
• Lucas C. Cordeiro 1 shared papers
• Weiqi Wang 1 shared papers
• Yiannis Charalambous 1 shared papers