Kensuke Narita

Publication Activity (10 Years)

Years Active: 2013-2015
Publications (10 Years): 1

Top Topics

Automated Verification

Theoretical Investigation

Functional Language

Temporal Properties

Top Venues

Publications

Shin-ya Nishizaki, Kensuke Narita, Tomoyuki Ueda
Simplification of Abstract Machine for Functional Language and Its Theoretical Investigation. J. Softw. 10 (10) (2015)
Hiroki Kumamoto, Takahisa Mizuno, Kensuke Narita, Shin-ya Nishizaki
Applying Model Checking to Destructive Testing and Analysis of Software System. J. Softw. 8 (5) (2013)