Specification description and verification of multitask hybrid systems in the OTS/CafeOBJ method

Masaki Nakamura, Kazutoshi Sakakibara, Kazuhiro Ogata

To develop IoT and/or CSP systems, we need consider both continuous data from physical world and discrete data in computer systems. Such a system is called a hybrid system. Because…