Back to Home

Modeling, Verification, and Assurance of Cyber-Physical Systems

Speaker: Natarajan Shankar, SRI International

Many devices and systems in the physical world depend critically on software. It is important to ensure that the software component is reliable. We describe methods and tools for verifying the behavior of such systems, and building the case for their reliability.
(Some of the material in this talk is based on the work of various colleagues.)

(slides)