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⟩