Formal verification of multitask hybrid systems by the OTS/CafeOBJ method.

Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata

Browse the full SEKE paper archive.