46 citations · 47 across the 5 of their papers we have counts for
1 paper · 1 filter
Ambar A. Gadkari, S. Ramesh
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors…