In this study, we propose a tiny Lisp system that runs on an embedded education board. Before learning embedded programming with C, students used a Lisp system in order to get used to the control of the devices on the hardware. Through a three-week class, novice students was able to write programs such as a roulette game and a robot arm controller.
An extended telephone system to avoid a phone fraud was introduced by Yamamoto et al. In this study, we prove that the extended telephone system is equivalent to the original telephone system at a level of abstraction. We conduct an automatic proof with the Alloy analyzer. After describing specifications of telephone systems in I/O-automaton, we translate… (More)