figshare
Browse

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 Serre
Source code repository for a verification tool for higher-order recursion schemes and collapsible pushdown systems using a saturation technique

History

Usage metrics

    Computer Science

    Categories

    Keywords

    verification toolsrecursion schemesComputer Software

    Licence

    CC BY 4.0

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC