Karam Abd Elkader

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Compositional verification techniques aim to decompose the verification of a large system into the more manageable verification of its components. In recent years, compositional techniques have gained significant successes following a breakthrough in the ability to automate assume-guarantee reasoning. However, automation is still restricted to simple(More)
  • 1