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.
US Patent No. US7503060B2, March 10, 2009 (registered).

Hitoshi Ohsaki:
ACTAS (automated verification tool based on monotone AC tree automata theory).
Software, beta release, August 2008.