Bounded quantifier instantiation for checking inductive invariants

Yotam M.Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Fingerprint

Dive into the research topics of 'Bounded quantifier instantiation for checking inductive invariants'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science