検証プログラム、検証装置および検証方法

発明者：
出願人/特許権者：
代理人 (3件)：志賀正武 , 高橋詔男 , 村山靖彦
公報種別：特許公報
出願番号（国際出願番号）：特願2013-140976
公開番号（公開出願番号）：特開2015-014890
特許番号：特許第6093663号
出願日： 2013年07月04日
公開日（公表日）： 2015年01月22日
請求項（抜粋）：

【請求項1】第1システムと第2システムとのシステム間連携を検証する検証装置のコンピュータに、前記第1システムから前記第2システムへの手続的な複数のトランザクション記述を取得する取得ステップと、検証式と前記取得ステップが取得した前記複数のトランザクション記述とに基づいて冪等性に関する命題および可換性に関する命題を生成する命題生成ステップと、前記命題生成ステップが生成した冪等性に関する命題および可換性に関する命題を検証する検証ステップと、を実行させるための検証プログラム。

IPC (3件)：