File(s) not publicly available

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

online resource
posted on 18.12.2017 by Matthew Hague, Christopher Broadbent, Arnaud Carayol, Olivier Serre
Source code repository for a verification tool for higher-order recursion schemes and collapsible pushdown systems using a saturation technique

History

Licence

Exports

Logo branding

Licence

Exports