PSCV: A Runtime Verification Tool for Probabilistic SystemC Models - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2016

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.
Fichier principal
Vignette du fichier
c177.pdf (415.79 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01406488 , version 1 (01-12-2016)

Identifiers

Cite

Van Chan 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⟩
302 View
192 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More