Showing 1 - 7 results of 7 for search 'Yorav, K', query time: 0.02s Refine Results
  1. 1
    Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking

    Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking by Kroening, D, Clarke, E, Yorav, K

    Published 2003
    Conference item
  2. 2
    Specifying and Verifying Systems with Multiple Clocks

    Specifying and Verifying Systems with Multiple Clocks by Clarke, E, Kroening, D, Yorav, K

    Published 2003
    Conference item
  3. 3
    Specifying and verifying systems with multiple clocks

    Specifying and verifying systems with multiple clocks by Clarke, E, Kroening, D, Yorav, K

    Published 2003
    Conference item
  4. 4
    Predicate Abstraction of ANSI–C Programs using SAT

    Predicate Abstraction of ANSI–C Programs using SAT by Clarke, E, Kroening, D, Sharygina, N, Yorav, K

    Published 2015
    Journal article
  5. 5
    Predicate Abstraction of ANSI-C Programs Using SAT

    Predicate Abstraction of ANSI-C Programs Using SAT by Clarke, E, Kroening, D, Sharygina, N, Yorav, K

    Published 2004
    Journal article
  6. 6
    Predicate Abstraction of ANSI-C Programs Using SAT.

    Predicate Abstraction of ANSI-C Programs Using SAT. by Clarke, E, Kroening, D, Sharygina, N, Yorav, K

    Published 2004
    Journal article
  7. 7
    SATABS: SAT−based Predicate Abstraction for ANSI−C

    SATABS: SAT−based Predicate Abstraction for ANSI−C by Clarke, E, Kroening, D, Sharygina, N, Yorav, K

    Published 2005
    Conference item

Search Tools: