CELL: A Compositional Verification Framework.

Kun Ji, Yang Liu, Shang-Wei Lin, Jun Sun, Jin Song Dong, Truong Khanh Nguyen

Browse the full ATVA paper archive.