| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
PSCV: A Runtime Verification Tool for Probabilistic SystemC Models
Abstract : 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-under-verification, mechanism for automatically instrumenting the model, and the interaction with statistical model checker are presented.
Cited literature [15 references]
https://hal.inria.fr/hal-01406488
Contributor : Nisrine Jafri <>
Submitted on : Thursday, December 1, 2016 - 11:32:42 AM
Last modification on : Thursday, January 7, 2021 - 4:34:35 PM
Long-term archiving on: : Monday, March 20, 2017 - 10:34:40 PM
Contributor : Nisrine Jafri <>
Submitted on : Thursday, December 1, 2016 - 11:32:42 AM
Last modification on : Thursday, January 7, 2021 - 4:34:35 PM
Long-term archiving on: : Monday, March 20, 2017 - 10:34:40 PM
File
c177.pdf
Files produced by the author(s)