A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes

DOI10.1007/978-3-642-19805-2_18zbMATH Open1326.68187OpenAlexW1549097197MaRDI QIDQ3000614FDOQ3000614

Naoki Kobayashi

Publication date: 19 May 2011

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19805-2_18

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (7)

• Title not available (Why is that?)
• Cost Automata, Safe Schemes, and Downward Closures
• Recursion Schemes and the WMSO+U Logic
• Simply typed fixpoint calculus and collapsible pushdown automata
• Streett Automata Model Checking of Higher-Order Recursion Schemes
• Title not available (Why is that?)
• Functional programs as compressed data

Uses Software

• BLAST
• SLAM

This page was built for publication: A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes

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