Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement. - Karam Abd Elkader; Orna Grumberg; Corina S. Pasareanu; Sharon Shoham (CAV (1), 2016)

Automated circular assume-guarantee reasoning. - Karam Abd Elkader; Orna Grumberg; Corina S. Pasareanu; Sharon Shoham (Formal Aspects Comput., 2018)