Model checking and functional program transformations

DOI10.4230/LIPICS.FSTTCS.2013.115MaRDI QIDQ2963902zbMATH OpenFDO

Authors Axel Haddad

Publication date 21 February 2017

Full work available at URL https://doi.org/10.4230/LIPICS.FSTTCS.2013.115

zbMATH Keywords

higher-order recursion schemesmodel checkingtree automata

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model checking higher-order programs
• Types and higher-order recursion schemes for verification of higher-order programs
• Model-checking higher-order programs with recursive types
• Higher-order model checking in direct style
• Higher-order program verification via HFL model checking

Cited in

(5)

• scientific article; zbMATH DE number 1615264 (Why is no real title available?)
• Using models to model-check recursive schemes
• Higher-order multi-parameter tree transducers and recursion schemes for program verification
• Types and higher-order recursion schemes for verification of higher-order programs
• Completeness of Conversion between Reactive Programs for Ultrametric Models

This page was built for publication: Model checking and functional program transformations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2963902)