Kousuke Matsumoto

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 2

Top Topics

Deterministic Finite Automaton

Formal Specification

Reactive Systems

Temporal Properties

Top Venues

Publications

Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models. SETTA (2016)
Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models. CoRR (2016)