Taku Terao

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 2

Top Topics

Deterministic Finite Automaton

Linear Temporal Logic

Verification Method

Top Venues

Publications

Taku Terao
Lazy Abstraction for Higher-Order Program Verification. PPDP (2018)
Taku Terao, Takeshi Tsukada, Naoki Kobayashi
Higher-Order Model Checking in Direct Style. APLAS (2016)
Taku Terao, Naoki Kobayashi
A ZDD-Based Efficient Higher-Order Model Checking Algorithm. APLAS (2014)