TY - DATA T1 - C-SHORe: Verification Tool for Higher-Order Recursion Schemes and Collapsible Pushdown Automata PY - 2017/12/18 AU - Matthew Hague AU - Christopher Broadbent AU - Arnaud Carayol AU - Olivier Serre UR - https://royalholloway.figshare.com/articles/online_resource/C-SHORe_Verification_Tool_for_Higher-Order_Recursion_Schemes_and_Collapsible_Pushdown_Automata/5712022 DO - 10.17637/rh.5712022.v1 KW - verification tools KW - recursion schemes KW - Computer Software N2 - Source code repository for a verification tool for higher-order recursion schemes and collapsible pushdown systems using a saturation technique ER -