Bounded Model Checking of Synchronous Reactive Models in Ptolemy II.

Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong

Browse the full APSEC paper archive.