CPSGrader: Formal Methods for Lab-Based MOOCs
At PLOOC 2013, we presented some technical challenges for creating a MOOC for “lab-based courses” such as those on Embedded Systems or Robotics. In this talk, we describe the progress we have made since, in teaching such a MOOC, deploying technologies for virtual lab environments, and using formal methods to design an automatic grading and feedback generation system.
Sun 14 Jun
|14:00 - 14:40|
|14:40 - 15:20|