Learn More
PURPOSE The aim of this study was to report the utility of topical colistin in multi-drug resistant Pseudomonas aeruginosa bacterial keratitis. METHODS Retrospective interventional case series included 8 patients with culture-proven multi-drug resistant P. aeruginosa (MDR-PA) bacterial keratitis who presented from June 2011 to January 2012 and were(More)
We introduce skipping refinement, a new notion of correct-ness 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(More)
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(More)
—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 holds. The appeal of incomplete algorithms is that they scale better than their complete counterparts. However, to make an incomplete algorithm effective one needs to guarantee that(More)
  • 1