Assertion-based flow monitoring of SystemC models.

Sonali Dutta, Moshe Y. Vardi

Browse the full MEMOCODE paper archive.