Publications International
Intellectual Properties (Patents and Software)
Hitoshi Ohsaki and Toshinori Takai:
Reactive System Safety Verification Device, Method, Program and Recording Medium Containing the Program (リアクティブ・システムの安全性検証装置、方法、プログラム及びそのプログラムを記録した記憶媒体).
Japanese Patent No. 4406726 (特許第4406726号),
Nobember 20, 2009. (PDF).
Hitoshi Ohsaki:
ACTAS (等式付ツリーオートマトンと書換理論にもとづく自動検証ツール).
Software,
beta release,
August 2008.