Moe Nandi Aung

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 3

Top Topics

Formal Specification

Pspace Complete

Top Venues

Publications

Yati Phyo, Moe Nandi Aung, Canh Minh Do, Kazuhiro Ogata
A Layered and Parallelized Method of Eventual Model Checking. Inf. 14 (7) (2023)
Moe Nandi Aung, Yati Phyo, Canh Minh Do, Kazuhiro Ogata
A Tool for Model Checking Eventual Model Checking in a Stratified Way. DSA (2022)
Moe Nandi Aung, Yati Phyo, Kazuhiro Ogata
Formal Specification and Model Checking of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol (S). SEKE (2019)