Kenneth L. McMillan

Identifiers

• name variant Kenneth L. McMillan 0.60 · backfill

Papers (3)

1. Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy cs.LO · 2026 · author #2
2. Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays cs.LO · 2015 · author #4
3. Interpolant-Based Transition Relation Approximation cs.LO · 2007 · author #2

Mentions

• 0706.0523 #2 · backfill · confidence 0.70 Kenneth L. McMillan

Frequent Coauthors

• Anvesh Komuravelli 1 shared papers
• Arie Gurfinkel 1 shared papers
• Eden Frenkel 1 shared papers
• Nikolaj Bjorner 1 shared papers
• Oded Padon 1 shared papers
• Ranjit Jhala 1 shared papers
• Sharon Shoham 1 shared papers