David Heath (Georgia Institute of Technology)

Identifiers

No identifiers captured yet.

Papers (2)

1. Relational Verification via Invariant-Guided Synchronization cs.PL · 2019 · author #2
2. Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions cs.LO · 2017 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Qi Zhou (Georgia Institute of Technology) 2 shared papers
• Galois Inc) 1 shared papers
• William Harris (Galois Inc.) 1 shared papers
• William Harris (Georgia Institute of Technology 1 shared papers