Boolean expression formation device, and Boolean expression formation method

摘要

As for the Boolean expression formation device, when verifying the character of the system, being something which forms the temporal Boolean expression which is used, sequence figure analytical expedient and Boolean expression constitution expedient and, it possesses. Sequence figure analytical expedient referring to the sequence figure where exchange of the plural objects which form the system is described to the coordinate territory, forms the order information which displays the order relationship of exchange of plural objects. Boolean expression constitution expedient forms the temporal Boolean expression which displays the character of the system on the basis of order information.