Login / Signup
Taku Terao
Publication Activity (10 Years)
Years Active: 2014-2018
Publications (10 Years): 2
Top Topics
Deterministic Finite Automaton
Linear Temporal Logic
Verification Method
Model Checking
Top Venues
APLAS
PPDP
</>
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)