Mitesh Jain

Mitesh Jain
Are you Mitesh Jain?

Claim your profile, edit publications, add additional information:

Contact Details

Name
Mitesh Jain
Affiliation
Location

Pubs By Year

Pub Categories

 
Computer Science - Logic in Computer Science (4)
 
Computer Science - Programming Languages (2)
 
Computer Science - Software Engineering (1)

Publications Authored By Mitesh Jain

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 the de facto testing methodologies used in industry: (1) it is difficult to determine completeness of the properties and tests under consideration (2) defining oracles for tests is expensive and error-prone (3) properties are defined in terms of low-level designs. Our approach compiles a formal refinement conjecture into a runtime check that is performed during simulation. Read More

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 using refinement involves defining an abstract, high-level specification system and a concrete, low-level system. Next, one shows that the behaviors of the implementation system are allowed by the specification system. Read More

We introduce skipping refinement, a new notion of correctness for reasoning about optimized reactive systems. Reasoning about reactive systems using refinement involves defining an abstract, high-level specification system and a concrete, low-level implementation system. One then shows that every behavior allowed by the implementation is also allowed by the specification. Read More

We introduce an algorithm for detection of bugs in sequential circuits. This algorithm is incomplete i.e. Read More