Browsing by Author "Dubasi, Mohana Asha Latha"

Now showing items 1-2 of 2

    • Timed Refinement for Verification of Real-Time Object Code Programs 

      Dubasi, Mohana Asha Latha (North Dakota State University, 2018)
      Real-time systems such as medical devices, surgical robots, and microprocessors are safety- critical applications that have hard timing constraint. The correctness of real-time systems is important as the failure may result ...

    • Timed Refinement for Verification of Real-Time Object Code Programs 

      Dubasi, Mohana Asha Latha (North Dakota State University, 2018)
      Real-time systems such as medical devices, surgical robots, and microprocessors are safety-critical applications that have hard timing constraint. The correctness of real-time systems is important as the failure may ...