Collaborated with:S.Shoham M.Sagiv J.R.Wilcox N.Immerman
Talks about:invari (2) infer (2) structur (1) complex (1) inform (1) induct (1) phase (1)
Person: Yotam M. Y. Feldman
DBLP: Feldman:Yotam_M=_Y=
Contributed to:
2019
2020Wrote 2 papers:
- CAV-2019-FeldmanWSS #induction #invariant
- Inferring Inductive Invariants from Phase Structures (YMYF, JRW, SS, MS), pp. 405–425.
- POPL-2020-FeldmanISS #complexity #invariant
- Complexity and information in invariant inference (YMYF, NI, MS, SS), p. 29.