Exact Flow Analysis by Higher-Order Model Checking

DOI10.1007/978-3-642-29822-6_22zbMath1354.68050OpenAlexW152732218MaRDI QIDQ2900270

Yoshihiro Tobita, Naoki Kobayashi, Takeshi Tsukada

Publication date: 20 July 2012

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29822-6_22

Mathematics Subject Classification ID

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

Related Items (1)

Typing Weak MSOL Properties

Uses Software

• EigenCFA
• TRecS
• THORS

This page was built for publication: Exact Flow Analysis by Higher-Order Model Checking