Model checking and functional program transformations

DOI10.4230/LIPICS.FSTTCS.2013.115zbMATH Open1359.68044MaRDI QIDQ2963902FDOQ2963902

Authors: Axel Haddad 

Publication date: 21 February 2017

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

zbMATH Keywords

model checkingtree automatahigher-order recursion schemes

Mathematics Subject Classification ID

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

Cited In (5)

• Using models to model-check recursive schemes
• Title not available (Why is that?)
• Higher-order multi-parameter tree transducers and recursion schemes for program verification
• Completeness of Conversion between Reactive Programs for Ultrametric Models
• Types and higher-order recursion schemes for verification of higher-order programs

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)