Results (12)

  • 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
  • Synthesizing protocols for digital contract signing
    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