PSCV: A Runtime Verification Tool for Probabilistic SystemC Models
Résumé
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.
Domaines
Informatique [cs]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...