Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking.

Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong

Browse the full QRS paper archive.