An Efficient Runtime Validation Framework based on the Theory of Refinement

Mitesh Jain, Panagiotis Manolios

We introduce a new methodology based on refinement for testing the functional correctness of hardware and low-level software. Our methodology overcomes several major drawbacks of t…