2007143742 A1 abstract a set of techniques for analyzing concurrent programs that combines the power of symbolic model checking to explore large state spaces and partial order and transaction based reduction techniques to manage the size of explored state space application_number US 61184706 A description the following merely illustrates the principles of the invention it will thus be appreciated that those skilled in the art will be able to devise various arrangements which although not explicitly described or shown herein embody the principles of the invention and are included within its spirit and scope furthermore all examples and conditional language recited herein are principally intended expressly to be only for pedagogical purposes to aid the reader in understanding the principles of the invention and the concepts contributed by the inventor s to furthering the art and are to be construed as being without limitation to such specifically recited examples and conditions moreover all statements herein reciting principles aspects and embodiments of the invention as well as specific examples thereof are intended to encompass both structural and functional equivalents thereof additionally it is intended that such equivalents include both currently known equivalents as well as equivalents developed in the future i e any elements developed that perform the same function regardless of structure thus for example it will be appreciated by those skilled in the art that the diagrams herein represent conceptual views of illustrative structures embodying the principles of the invention by way of additional theoretical background we consider concurrent systems having a finite number of processes or threads where each.