Model-Checking Higher-Order Programs with Recursive Types
From MaRDI portal
Publication:5326300
DOI10.1007/978-3-642-37036-6_24zbMath1381.68170OpenAlexW173753855MaRDI QIDQ5326300
Atsushi Igarashi, Naoki Kobayashi
Publication date: 5 August 2013
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-37036-6_24
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Unnamed Item ⋮ Higher order symbolic execution for contract verification and refutation ⋮ Leafy automata for higher-order concurrency