Bao-Trung Pham-Duy

Publication Activity (10 Years)

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

Top Topics

Linear Time Temporal Logic

Asynchronous Circuits

Top Venues

Publications

Bao-Trung Pham-Duy, Trinh Van Giang, Le Dinh Thuan, Quan Thanh Tho
Reusing Symbolic Observation Graph for Efficient Model Checking. KSE (2015)
Dinh-Thuan Le, Huu-Vu Nguyen, Van-Tinh Nguyen, Phuong-Nam Mai, Bao-Trung Pham-Duy, Thanh-Tho Quan, Étienne André, Laure Petrucci, Yang Liu
PeCAn: Compositional Verification of Petri Nets Made Easy. ATVA (2014)