abstract interpretation

file

Visible to the public Through the Lens of Abstraction

Submitted by brad_martin on Tue, 04/22/2014 - 11:04am. Contributors:

Presented as part of the 2014 HCSS conference.

This talk deals with the use of abstraction in two areas of automated reasoning: verification of programs, and decision procedures for logics.

file

Visible to the public Safety-Oriented Hybrid Verification of Medical Robotics

Submitted by Steven Lyde on Mon, 10/28/2013 - 2:27pm. Contributors:

Abstract:

Motivation and goal: The whole-system design and modeling of complex medical robotics involves analog sensors and actuators; discrete software controllers; piecewise, non-linear, discontinuous biological tissues/media; and probabilistic human administrators.

In the best case, the failure of such systems risks limb. In the worst, life.