Results (21)

  • Automating separation logic using SMT
    Conference paper
  • Structural Counter Abstraction
    Conference paper
  • Ideal abstractions for well structured transition systems
    Conference paper
  • Decision procedures for automating termination proofs
    Conference paper
  • Static scheduling in clouds
    Conference paper
  • Forward analysis of depth-bounded processes
    Conference paper