Taxonomic Search: tony OR larsson

Walid Taha, Robert Cartwright, Roland Philippsen and Yingfu Zeng, "A First Course on Cyber Physical Systems." Proceedings of the First Workshop on Cyber-Physical Systems Education (CPS-Ed 2013) at Cyber Physical Systems Week (CPSWeek 2013), Philadelphia, Pennsylvania, USA, April 2013. Available: http://cps-vo.org/group/edu/workshop/proceedings2013.

Steffen Peter, Frank Vahid and Tony Givargis, "A Ball Goes to School - Our Experiences from a CPS Design Experiment

Steffen Peter, Frank Vahid and Tony Givargis, "A Ball Goes to School - Our Experiences from a CPS Design Experiment." Proceedings of the First Workshop on Cyber-Physical Systems Education (CPS-Ed 2013) at Cyber Physical Systems Week (CPSWeek 2013), Philadelphia, Pennsylvania, USA, April 2013. Available: http://cps-vo.org/group/edu/workshop/proceedings2013.

Abstract

Software is at the core of our infrastructure. We rely on it to execute complex, sensitive, and critical functions, without any strong scientific basis for trusting its correctness. Software verification is a discipline of computing that demonstrates the correctness of programs with respect to a precise specification based on formal proofs built on a rigorous semantic foundation.