1 citations · 2 across the 4 of their papers we have counts for
4 papers
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…
Proving Skipping Refinement with ACL2s
Mitesh Jain, Panagiotis Manolios
We describe three case studies illustrating the use of ACL2s to prove the correctness of optimized reactive systems using skipping refinement. Reasoning about reactive systems usin…
Skipping Refinement
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…
Verification of Sequential Circuits by Tests-As-Proofs Paradigm
Eugene Goldberg, Mitesh Jain, Panagiotis Manolios
We introduce an algorithm for detection of bugs in sequential circuits. This algorithm is incomplete i.e. its failure to find a bug breaking a property P does not imply that P hold…