Higher-Order Model Checking in Direct Style

DOI10.1007/978-3-319-47958-3_16zbMath1483.68206OpenAlexW2528326022MaRDI QIDQ3179299

Takeshi Tsukada, Naoki Kobayashi, Taku Terao

Publication date: 21 December 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-47958-3_16

Mathematics Subject Classification ID

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

Related Items (2)

Higher-Order Model Checking in Direct Style ⋮ Modular Verification of Higher-Order Functional Programs

Uses Software

• C-SHORe
• MoCHi

Cites Work

• Unnamed Item
• A ZDD-Based Efficient Higher-Order Model Checking Algorithm
• Pushdown control-flow analysis for free
• Saturation-Based Model Checking of Higher-Order Recursion Schemes.
• Higher-Order Model Checking in Direct Style
• Abstracting abstract machines
• C-SHORe
• Model Checking Higher-Order Programs
• A type-directed abstraction refinement approach to higher-order model checking
• Verifying higher-order functional programs with pattern-matching algebraic data types
• Complexity of Model-Checking Call-by-Value Programs
• Automatic Termination Verification for Higher-Order Functional Programs

This page was built for publication: Higher-Order Model Checking in Direct Style