Showing 1 - 2 results of 2 for search 'Oded Padon', query time: 0.02s Refine Results
  1. 1
    Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays

    Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays by Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark Barrett

    Published 2022-08-01
    Get full text
    Article
  2. 2
    Bounded Quantifier Instantiation for Checking Inductive Invariants

    Bounded Quantifier Instantiation for Checking Inductive Invariants by Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham

    Published 2019-08-01
    Get full text
    Article

Search Tools: