Karam Abd Elkader

  • Citations Per Year
Learn More
Model checking is a successful approach for verifying hardware and software systems. Despite its success, the technique suffers from the state explosion problem which arises due to the large state space of real-life systems. One solution to the state explosion problem is compositional verification, that aims to decompose the verification of a large system(More)
In this work we develop an automated circular reasoning framework that is applicable to systems decomposed intomultiple components. Our framework uses a family of circular assume-guarantee rules for which we give conditions for soundness and completeness. The assumptions used in the rules are initially approximate and their alphabets are automatically(More)
  • 1