Results (11)

  • Lipschitz robustness of timed I/O systems
    Conference paper
  • Abstraction-driven concolic testing
    Conference paper
  • Abstraction-driven concolic testing
    Conference paper
  • A logic-based framework for verifying consensus algorithms
    Conference paper
  • Ideal abstractions for well structured transition systems
    Conference paper
  • Building a calculus of data structures
    Conference paper
  • Invariant and type inference for matrices
    Conference paper
  • Invariant synthesis for combined theories
    Conference paper