Yunhui Ying

Publication Activity (10 Years)

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

Top Topics

Linear Time Temporal Logic

Specification Language

Formal Specification

Top Venues

Publications

Min Zhang, Yunhui Ying
Towards SMT-based LTL model checking of clock constraint specification language for real-time and embedded systems. LCTES (2017)