tool verification
91HP QuickTest Professional — Developer(s) HP/HP Software Division Stable release 11.0 Development status Active Operating system Microsoft Windows …
92Negative index metamaterials — A negative index metamaterial causes light to refract, or bend, differently than in more common positive refractive index materials. Negative index metamaterials or negative index materials (NIM) are artificial structures where the refractive… …
93Antioxidant — Model of the antioxidant metabolite glutathione. The yellow sphere is the redox active sulfur atom that provides antioxidant activity, while the red, blue, white, and dark grey spheres represent oxygen, nitrogen, hydrogen, and carbon atoms,… …
94Meteorology — For other uses of the root word meteor , see Meteor (disambiguation). For the work by Aristotle, see Meteorology (Aristotle). Not to be confused with Metrology. Part of the Nature series on Weather   …
95Cataract — For other uses, see Cataract (disambiguation). Cataract Classification and external resources Magnified view of cataract in human eye, seen on examination with a slit lamp using diffuse illumination …
96PKZIP — is an archiving tool originally written by Phil Katz and marketed by his company PKWARE, Inc. PKZIP is an acronym for Phil Katz s ZIP program.HistoryFile compression routines date back to at least the 1960s: IBM had a compression program called… …
97Neurolinguistics — This article is about the academic field of neurolinguistics. For the alternative psychotherapy and communications model, see Neuro linguistic programming. Surface of the human brain, with Brodmann areas numbered …
98SPARK (programming language) — infobox programming language name = SPARK influenced by = Ada, HAL/SSPARK is a formally defined computer programming language based on the Ada programming language, intended to be secure and to support the development of high integrity software… …
99Nuclear program of Iran — See also: Iran and weapons of mass destruction Nuclear program of Iran …
100DREAM (software) — The Distributed Real time Embedded Analysis Method (DREAM) is a platform independent open source tool for the verification and analysis of distributed real time and embedded (DRE) systems which focuses on the practical application of formal… …
