Abstract: A system and method for software verification provides a lifting dictionary for each desired computer architecture. The lifting dictionary is used to translate native machine language instructions into descriptive intermediate language instructions. Each descriptive intermediate language instruction is atomic, in that, each descriptive intermediate language instruction changes at most one state of the emulated system. An emulator then runs the descriptive intermediate language instructions with tools that show each change of state after each DIL is emulated.

Abstract: A system and method for software verification provides a lifting dictionary for each desired computer architecture. The lifting dictionary is used to translate native machine language instructions into descriptive intermediate language instructions. Each descriptive intermediate language instruction is atomic, in that, each descriptive intermediate language instruction changes at most one state of the emulated system. An emulator then runs the descriptive intermediate language instructions with tools that show each change of state after each DIL is emulated.

Abstract: A disposable child's drinking cup has a lid with a drinking spout defining multiple open holes sized to resist leakage in the absence of suction, such as by the development of surface tension at the holes, and to allow flow when suction is applied. The holes are formed during molding of the lid. An inner contour of a groove of the lid and an outer contour of the cup body rim are selected to provide a slight snap fit of the lid onto the cup body, to provide a secure seal.

Abstract: A disposable child's drinking cup has a lid with a drinking spout defining multiple open holes sized to resist leakage in the absence of suction, such as by the development of surface tension at the holes, and to allow flow when suction is applied. The holes are formed during molding of the lid. An inner contour of a groove of the lid and an outer contour of the cup body rim are selected to provide a slight snap fit of the lid onto the cup body, to provide a secure seal.

Abstract: A disposable child's drinking cup has a lid with a drinking spout defining multiple open holes sized to resist leakage in the absence of suction, such as by the development of surface tension at the holes, and to allow flow when suction is applied. The holes are formed during molding of the lid. An inner contour of a groove of the lid and an outer contour of the cup body rim are selected to provide a slight snap fit of the lid onto the cup body, to provide a secure seal.

Abstract: A disposable child's drinking cup has a lid with a drinking spout defining multiple open holes sized to resist leakage in the absence of suction, such as by the development of surface tension at the holes, and to allow flow when suction is applied. The holes are formed during molding of the lid. An inner contour of a groove of the lid and an outer contour of the cup body rim are selected to provide a slight snap fit of the lid onto the cup body, to provide a secure seal.

Abstract: A disposable child's drinking cup has a lid with a drinking spout defining multiple open holes sized to resist leakage in the absence of suction, such as by the development of surface tension at the holes, and to allow flow when suction is applied. The holes are formed during molding of the lid. An inner contour of a groove of the lid and an outer contour of the cup body rim are selected to provide a slight snap fit of the lid onto the cup body, to provide a secure seal.

Abstract: A disposable child's drinking cup has a lid with a drinking spout defining multiple open holes sized to resist leakage in the absence of suction, such as by the development of surface tension at the holes, and to allow flow when suction is applied. The holes are formed during molding of the lid. An inner contour of a groove of the lid and an outer contour of the cup body rim are selected to provide a slight snap fit of the lid onto the cup body, to provide a secure seal.

Abstract: A disposable child's drinking cup has a lid with a drinking spout defining multiple open holes sized to resist leakage in the absence of suction, such as by the development of surface tension at the holes, and to allow flow when suction is applied. The holes are formed during molding of the lid. An inner contour of a groove of the lid and an outer contour of the cup body rim are selected to provide a slight snap fit of the lid onto the cup body, to provide a secure seal.

Abstract: A disposable child's drinking cup has a lid with a drinking spout defining multiple open holes sized to resist leakage in the absence of suction, such as by the development of surface tension at the holes, and to allow flow when suction is applied. The holes are formed during molding of the lid.