Skip to Main content Skip to Navigation
Conference papers

PSCV: A Runtime Verification Tool for Probabilistic SystemC Models

Van Ngo 1 Axel Legay 2 Vania Joloboff 3
2 TAMIS - Threat Analysis and Mitigation for Information Security
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
3 TEA - Tim, Events and Architectures
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download
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


Files produced by the author(s)



Van Ngo, Axel Legay, Vania Joloboff. PSCV: A Runtime Verification Tool for Probabilistic SystemC Models. CAV 2016 - 28th International Conference on Computer Aided Verification, Jul 2016, Toronto, Canada. pp.84 - 91, ⟨10.1007/978-3-319-41528-4_5⟩. ⟨hal-01406488⟩



Record views


Files downloads