Bounded Model Checking of Synchronous Reactive Models in Ptolemy II.

Xiaozhen Zhang Zhaoming Yang Hui Kong Weiqiang Kong

Published in: APSEC (2022)

Keyphrases

bounded model checking
statistical models
neural network
data sets
cooperative
computational models