C-SHORe: Verification Tool for Higher-Order Recursion Schemes and Collapsible Pushdown Automata

Source code repository for a verification tool for higher-order recursion schemes and collapsible pushdown systems using a saturation technique