File(s) not publicly available
C-SHORe: Verification Tool for Higher-Order Recursion Schemes and Collapsible Pushdown Automata
online resource
posted on 2017-12-18, 14:37 authored by Matthew HagueMatthew Hague, Christopher Broadbent, Arnaud Carayol, Olivier SerreSource
code repository for a verification tool for higher-order recursion schemes and
collapsible pushdown systems using a saturation technique