A support tool for the L + 1-layer divide & conquer approach to leads-to model checking.

Yati Phyo, Canh Minh Do, Kazuhiro Ogata

Browse the full COMPSAC paper archive.