Dachuan Shen

Publication Activity (10 Years)

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

Top Topics

Computation Tree Logic

Transition Systems

Automated Verification

Top Venues

Publications

Lei Bu, Doron Peled, Dachuan Shen, Yuan Zhuang
Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking. SPIN (2018)