10 citations · 15 across the 2 of their papers we have counts for
2 papers
cs.LO2009★ 10 cited
An Efficient Explicit-time Description Method for Timed Model Checking
Hao Wang, Wendy MacCaull
Timed model checking, the method to formally verify real-time systems, is attracting increasing attention from both the model checking community and the real-time community. Explic…
cs.LO2009★ 5 cited
Verifying Real-Time Systems using Explicit-time Description Methods
Hao Wang, Wendy MacCaull
Timed model checking has been extensively researched in recent years. Many new formalisms with time extensions and tools based on them have been presented. On the other hand, Expli…