5 citations · 21 across the 16 of their papers we have counts for
1 paper · 1 filter
Mitesh Jain, Panagiotis Manolios
We introduce skipping refinement, a new notion of correctness for reasoning about optimized reactive systems. Reasoning about reactive systems using refinement involves defining an…