Search Results - "function summaries"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Defect Detection: Combining Bounded Model Checking and Code Contracts

    Defect Detection: Combining Bounded Model Checking and Code Contracts by Marat Akhin, Mikhail Belyaev, Vladimir Itsykson

    Published 2013-12-01
    Subjects:
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Random Model Sampling: Making Craig Interpolation Work When It Should Not

    Random Model Sampling: Making Craig Interpolation Work When It Should Not by Marat Akhin, Sam Kolton, Vladimir Itsykson

    Published 2014-12-01
    Subjects:
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: