This paper describes PSCV, a runtime verification tool for a class of SystemC models which have inherent probabilistic characteristics. The properties of interest are expressed using bounded linear temporal logic. The various features of the tool including automatic monitor generation for producing execution traces of the model-underverification, mechanism for automatically instrumenting the model, and the interaction with statistical model checker are presented.
CITATION STYLE
Ngo, V. C., Legay, A., & Joloboff, V. (2016). PSCV: A runtime verification tool for probabilistic systemc models. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9779, pp. 84–91). Springer Verlag. https://doi.org/10.1007/978-3-319-41528-4_5
Mendeley helps you to discover research relevant for your work.