Abstract: A simulation environment for simulating a physical system or sub-system. The environment includes a plurality of elements that can be arranged to form any of a number of component objects or sub-component objects. The component or sub-component objects are assembled to form at least one assembly object that forms at least part of the system or sub-system. Each element is provided with mesh data, and rules of connectivity. The rules of connectivity govern the interconnection of the elements to form the component or sub-component objects. The mesh data for a particular element is automatically incorporated into each completed component or sub-component object that includes that particular element.

Abstract: Generation of a test based on a test template comprising of branch instructions. The test template may be a layout test template, defining a set of possible control flows possibilities between template instructions in the layout test template. The test is generated by a test generator which may simulate a state of a target computerized system executing the test. The simulation may be performed during generation of the test. The test generator may further verify previously generated instructions. The test generator may further generate instructions associated with leftover template instructions.

Abstract: A first graph embedded in a Euclidean space is modeled by a globally rigid first model graph that includes all vertices and edges of the first graph and has a preselected maximum clique size. The modeling is configured to maintain the preselected maximum clique size by employing an edge adding process that replicates a vertex of a vertex pair connected by an edge. A mapping between vertices of the first graph and vertices of a second graph is computed by optimizing a mapping between vertices of the first model graph and vertices of the second graph.