A traversal-based algorithm for higher-order model checking

DOI10.1145/2364527.2364578zbMath1291.68264OpenAlexW2122698067MaRDI QIDQ5168915

Chih-Hao Luke Ong, S. J. Ramsay, Robin P. Neatherway

Publication date: 21 July 2014

Published in: Proceedings of the 17th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2364527.2364578

zbMATH Keywords

model-checkinghigher-order programs

Mathematics Subject Classification ID

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

Related Items (1)

Streett Automata Model Checking of Higher-Order Recursion Schemes

Uses Software

• BLAST
• TravMC
• TRecS

This page was built for publication: A traversal-based algorithm for higher-order model checking