Aritoshi Hata

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Symbolic Model Checking

Model Based Testing

Temporal Properties

Formal Specification

Top Venues

Publications

Toshiaki Aoki, Aritoshi Hata, Kazusato Kanamori, Satoshi Tanaka, Yuta Kawamoto, Yasuhiro Tanase, Masumi Imai, Fumiya Shigemitsu, Masaki Gondo, Tomoji Kishi
Model-Checking in the Loop Model-Based Testing for Automotive Operating Systems. CoRR (2023)