Search references for PROTOTYPE VERIFICATION-SYSTEM. Phrases containing PROTOTYPE VERIFICATION-SYSTEM
See searches and references containing PROTOTYPE VERIFICATION-SYSTEM!PROTOTYPE VERIFICATION-SYSTEM
Proof assistant program
The Prototype Verification System (PVS) is a specification language integrated with support tools and an automated theorem prover, developed at the Computer
Prototype_Verification_System
Interactive theorem prover software
on higher-order logic which is eXtensible. Prototype Verification System (PVS) – a proof language and system based on higher-order logic. Rocq (formerly
Proof_assistant
Prototyping integrated circuit designs on FPGA
is the method to prototype system-on-chip and application-specific integrated circuit designs on FPGAs for hardware verification and early software
FPGA_prototyping
Physical artifact that formerly defined the kilogram
returned to the BIPM for verification. Great care is exercised when transporting prototypes. In 1984, the K4 and K20 prototypes were hand-carried in the
International Prototype of the Kilogram
International_Prototype_of_the_Kilogram
Early sample or model built to test a concept or process
the prototype as compared to the final product. Verification: The final product may be subject to a number of quality assurance tests to verify conformance
Prototype
Stage of electronic circuit design validation
electronic system design projects. Functional verification is a part of more encompassing design verification, which, besides functional verification, considers
Functional_verification
Topics referred to by the same term
culling Principal variation search, a negamax algorithm Prototype Verification System, a specification language PVS-Studio, a static code analyzer for
PVS
Programming language standard
Opusmodus is a music composition system based on Common Lisp, used in Computer assisted composition. Prototype Verification System (PVS), a mechanized environment
Common_Lisp
automated reasoning technology, deductive systems and computational engines, including the Prototype Verification System. In 2009, he was named an SRI Fellow
Natarajan_Shankar
Group of techniques to quickly construct physical objects
design verification, mold making, production jigs and other areas. Outputs have steadily advanced toward higher specification uses. Sanders Prototype, Inc
Rapid_prototyping
Lisp software and development tools
algebra system originally developed in Lisp Prototype Verification System (PVS) - mechanized environment for formal specification and verification written
List of Lisp software and tools
List_of_Lisp_software_and_tools
formal verification tools. In contrast, post-silicon validation tests occur on actual devices running at-speed in commercial, real-world system boards
Post-silicon_validation
Notable people from Stanford Research Institute
technology policy, education, energy and the environment, engineering systems, pharmaceuticals and health sciences, homeland security and national defense
List of SRI International people
List_of_SRI_International_people
Physical artifacts that formerly realized and disseminated the kilogram
1088/0026-1394/52/2/310. G. Girard (1994). "The Third Periodic Verification of National Prototypes of the Kilogram (1988–1992)". Metrologia. 31 (4): 317–336
Timeline of International Kilogram Prototypes
Timeline_of_International_Kilogram_Prototypes
American computer scientist
Tolerance) operating system and was later incorporated into SRIís Prototype Verification System. The work was published in the paper, SIFT: Design and analysis
Robert_Shostak
Emulating hardware devices in IC design
comprehensive functional verification is key to reducing development costs and delivering a product on time. Functional verification of a design is most often
Hardware_emulation
System-level specification language
language Haskell, the Larch family of specification languages, and Prototype Verification System (PVS). A book devoted to the language was published in November
Rosetta-lang
American multinational computational software company
a verification management tool for tracking the verification process. Cadence announced Perspec System Verifier in 2014 for defining and verifying system-level
Cadence_Design_Systems
Annual celebration of SI units
celebrating the International System of Units. The date is the anniversary of the signing of the Metre Convention in 1875.[verification needed] Metrology is the
World_Metrology_Day
15 November 2011. G. Girard (1994). "The Third Periodic Verification of National Prototypes of the Kilogram (1988–1992)". Metrologia. 31 (4): 317–336
History_of_the_metric_system
Process in software project management, software testing, and software engineering
of that process. This kind of verification is called "artifact or specification verification". It would imply to verify if the specifications are met
Software verification and validation
Software_verification_and_validation
Definition of the units kg, A, K and mol
16 December 2021 Girard, G. (1994). "The Third Periodic Verification of National Prototypes of the Kilogram (1988–1992)". Metrologia. 31 (4): 317–336
2019_revision_of_the_SI
design and verification, verification testing is used to prove the integrity of the design of the system or device. Numerous verification techniques may
Electronic system-level design and verification
Electronic_system-level_design_and_verification
South Korean fighter aircraft
fourth prototype for this initial flight to verify early flight stability. Until the completion of system development in June 2026, the fourth prototype will
KAI_KF-21_Boramae
Chinese medium-range narrowbody airliner
A320 and Boeing 737. Production began in December 2011, with the first prototype being rolled out on 2 November 2015; the maiden flight took place on 5 May
Comac_C919
Micro-electronic component
of chips, hardware verification languages like SystemVerilog, SystemC, e, and OpenVera are being used. Bugs found in the verification stage are reported
System_on_a_chip
Taiwanese ASIC designer
able to timely verify their prototype designs with advanced process technologies and much lower costs Intellectual property Silicon-verified reusable IC
Global_Unichip_Corporation
Computer system with a dedicated function
times slower than the final system. For SoC designs, the typical approach is to verify and debug the design on an FPGA prototype board. Tools such as Certus
Embedded_system
Soviet space weapon prototype
Полюс, pole), also known as Polus, Skif-DM, GRAU index 17F19DM, was a prototype Soviet orbital weapons platform designed to destroy Strategic Defense
Polyus_(spacecraft)
Technique used in the development and testing of complex real-time embedded systems
certain ECU parameters (e.g. Engine parameters etc.) Testing and verification of the system at failure conditions In the above-mentioned test scenarios, HIL
Hardware-in-the-loop simulation
Hardware-in-the-loop_simulation
Class of 4+145 electric locomotives in Germany
as high speed bogies, were tested with existing Class E 10 units. Four prototypes were finished in 1965. They were introduced to the public at the Internationale
DB_Class_103
High-level programming language
language that conforms to the ECMAScript standard. It has dynamic typing, prototype-based object-orientation, and first-class functions. It is multi-paradigm
JavaScript
Computer system emulating human expert
for the system, simply invoke the inference engine. This also was a reason for the second benefit: rapid prototyping. With an expert system shell it
Expert_system
Line of gaming PCs
operating systems for the future. At the 2013 Consumer Electronics Show, modular computer hardware company Xi3 Corporation introduced a prototype modular
Steam_Machine
Engineering process
be made. Simulations may be performed to verify the correctness of the design. A breadboard or other prototype version of the design for testing against
Circuit_design
Modern form of the metric system
kilograms with the IPK. During the 2nd and 3rd Periodic Verification of National Prototypes of the Kilogram, a significant divergence had occurred between
International_System_of_Units
British computer scientist
Formal Methods and Dependable Systems in the Computer Science Laboratory at SRI. He developed the Prototype Verification System, which is a theorem prover
John_Rushby
Operating system for mobile devices
Rubin already owned the domain name android.com. After having built a prototype internally known as the "Fadden demo" predominantly by purchasing licensing
Android_(operating_system)
Russian intercontinental ballistic missile
June 2015, it was reported that the production schedule for the first prototype of the Sarmat was slipping. The RS-28 Sarmat was expected to become operational
RS-28_Sarmat
Chinese cargo spacecraft
final competition and were awarded contracts for flight verification. On 30 March 2026, a prototype version of Qingzhou was launched on the maiden flight
Qingzhou_(spacecraft)
Caseless ammunition assault rifle prototype
The Heckler & Koch G11 is a non-production prototype assault rifle developed from the late 1960s to the 1980s by Gesellschaft für Hülsenlose Gewehrsysteme
Heckler_&_Koch_G11
American manufacturer of 3D printers
the first stereolithography (SLA) rapid prototyping system. Prior to Hull's introduction of SLA rapid prototyping, concept models required extensive time
3D_Systems
Electric pickup truck
pickup truck manufactured by Tesla, Inc. since 2023. It was presented as a prototype concept in November 2019, with an angular design composed of flat, unpainted
Tesla_Cybertruck
System/360. Up until 30 April 2010 there was still one Odra 1305 working at the railway station in Wrocław Brochów.[failed verification] The system was
Odra_(computer)
Creational design pattern in software development
The prototype pattern is a creational design pattern in software development. It is used when the types of objects to create is determined by a prototypical
Prototype_pattern
Home video game console
Entertainment System (NES), was unveiled by Nintendo at the June 1985 Summer CES, and dropped the home computer features of the earlier AVS prototype while retaining
Nintendo_Entertainment_System
Display technology
Foundation Science Talent Search group, a Science Service organization.[verification needed] The paper entry was named in the "Honors Group" publicized to
LED_display
Biometric identification
where the authors designed a prototype hand geometry system that uses 16 geometric features for identity verification. Hand geometry is not thought to
Hand_geometry
Designing products with digital device
Digital Prototyping gives conceptual design, engineering, manufacturing, and sales and marketing departments the ability to virtually explore a complete
Digital_prototyping
In electronics, prototyping means building an actual circuit to a theoretical design to verify that it works, and to provide a physical platform for debugging
Electronics_prototyping
American supercomputer
needed] LLNL partnered with HPE Cray and AMD to build the system. Three El Capitan prototypes – named rzVernal, Tioga, and Tenaya – were powerful enough
El_Capitan_(supercomputer)
Missile launching system
the Mk 41 was increased to accommodate the larger Tomahawk missile. The prototype for the launcher was tested and evaluated on board USS Norton Sound. The
Mark 41 vertical launching system
Mark_41_vertical_launching_system
Computer science concept
part of prototype research systems. The following table gives an overview over type theoretic concepts that are used in specialized type systems. The names
Type_system
Prototype of Secure Sockets Layer
modules and interfaces to security verification. At that time, there were three well-known authentication systems built (MIT's Kerberos) or being developed
Secure_Network_Programming
Software development methodology
then link and package them into software deliverables. Automated tests verify the software functionality, and automated deployment services deliver them
CI/CD
transport system that does not require mechanical friction for drive and guidance as conventional trains do. The main idea of this system is to use a
TELMAG
Russian assault rifle and variants
of their soldiers using AK-12s. The prototype model from 2012 uses the same gas-operated long-stroke piston system of the previous Kalashnikov rifles,
AK-12
German prototype jet powered flying wing fighter (1944)
done by Gotha to prepare the aircraft for mass production) was a German prototype fighter-bomber designed by Reimar and Walter Horten to be built by Gothaer
Horten_Ho_229
American social networking service
confirmed that verification would be included in Blue in the future, dismissing the existing verification system as a "lords & peasants system". After concerns
X_(social_network)
Soviet/Russian truck
Soviet/Russian 5-6-ton truck produced by ZIL in Moscow, Russia. The first prototype was built in 1956. Production began in 1962, while mass production started
ZIL-130
North Korean anti-tank missile family
advertised as the AT-4MLB by North Korean proxy company GLOCOM,[failed verification] and in their brochure it was stated that it is controlled by laser beam
Bulsae_ATGM
Malaysian assault rifle
bullpup firearms List of assault rifles Ibp Usa (2007). Malaysia Army Weapon Systems Handbook. Int'l Business Publications. p. 109. ISBN 9781433061806. "VB
VB_Berapi_LP06
American software company
California, that focuses on design and verification of silicon chips, electronic system-level design and verification, and reusable components (intellectual
Synopsys
Design verification process
Process. To verify the accuracy of drawings and ensure that they reflect any changes made to parts design during the prototype design. To verify the production
First_article_inspection
Assault rifle
[citation needed] The AM-17M is a full-length assault rifle variant in prototype development. The AMB-17 is an integrally suppressed variant, chambered
Kalashnikov_Concern_AM-17
version of the UNIX Time-Sharing System evolved from the version before, with version one evolving from the prototypal Unix. Not all variants and descendants
List_of_Unix_systems
French prototype automatic weapon
The Chauchat-Ribeyrolles 1918 submachine gun is a French prototype automatic weapon. In 1917, the French Army adopted the Mle. 1917 semi-automatic rifle
Chauchat-Ribeyrolles 1918 submachine gun
Chauchat-Ribeyrolles_1918_submachine_gun
Assault rifle
assault rifles including the HK416 and G36.[verification needed] Adaptive Combat Rifle, modular rifle system. AN-94 Barrett REC7 Beretta ARX160 FN SCAR
Heckler_&_Koch_XM8
aeroplanes and spacecraft. Most concepts were only capable of sub-orbital spaceflight. Lists of spacecraft List of space launch system designs Mother ship
List_of_spaceplanes
The following are a list of Le Mans Prototypes (LMP) race cars, running today, and in the past. This does not include DPi, LMH and LMDh cars, as they appear
List_of_Le_Mans_Prototypes
Mathematical study of the meaning of programming languages
programming language design, type theory, compilers and interpreters, program verification and model checking. There are many approaches to formal semantics; these
Semantics (programming languages)
Semantics_(programming_languages)
Russian stealth multirole fighter aircraft
two flying prototypes tested flight characteristics and basic mechanical systems, and thus had no mission systems. Testing of mission systems such as the
Sukhoi_Su-57
Small planetary-mass object
orbital dominance like the eight classical planets of the Solar System. The prototypical dwarf planet is Pluto, which for decades was regarded as a planet
Dwarf_planet
American artillery rocket system
Artillery, 18th Airborne Corps at Fort Bragg, in North Carolina. Three prototype HIMARS launchers were successfully used during the Iraq War. The first
M142_HIMARS
American satellite-based radio navigation service
GPS project was started by the U.S. Department of Defense in 1973. The prototype spacecraft was launched in 1978 and the full constellation of 24 satellites
Global_Positioning_System
Motor vehicle
The McMurtry Spéirling is an electric single-seat prototype sports car which was first presented at the Goodwood Festival of Speed in 2021. The car is
McMurtry_Spéirling
Japanese prototype air-to-air missile
The Mitsubishi AAM-2 was a Japanese prototype for a limited all aspect infrared homing air-to-air missile developed based on the American AIM-4D Falcon
AAM-2
Checking software against a standard
Static testing involves verification, whereas dynamic testing also involves validation. Passive testing means verifying the system's behavior without any
Software_testing
Canadian video game developer
Simpsons: Hit & Run (2003), Scarface: The World Is Yours (2006), Prototype (2009) and Prototype 2 (2012), as well as entries in the Crash Bandicoot franchise
Radical_Entertainment
Tilting three-wheeled motor vehicle
roll stability in transient conditions, the prototype CLEVER vehicle was fitted with an active steering system in 2012; this allowed the use of a combined
CLEVER
Bullpup assault rifle
ejected downwards behind the magazines.[citation needed] The TKB-059 prototype can now be seen at the Tula arms museum. 80.002 AO-46 AO-63 TKB-408 TKB-517
TKB-059
DoD standard for computer security
Formal Specification and Verification is where the TCB is verified down to the source code level, using formal verification methods where feasible. Trusted
Trusted Computer System Evaluation Criteria
Trusted_Computer_System_Evaluation_Criteria
French prototype machine gun
machine gun using .50 BMG instead of 7.62×51mm NATO cartridges. A few prototypes were tested and one was retained for pre-serial production, but it never
MAC-58
Preparation procedures for verifying carrier rocket performance
in place to help verify that the rocket is ready for flight. Propellant load tests and static fire tests may also be done on prototype rocket stages, in
Launch_vehicle_system_tests
German heavy bomber during WW2
as soon as possible." The He 177B-5's first-built prototype, the He 177 V101,[failed verification] was converted from a mid-production He 177A-3 airframe
Heinkel_He_177_Greif
Difference between two descriptions of an object by different linguistic representations
difference in meaning between constructs formed within different representation systems". In computer science, the concept is relevant whenever ordinary human
Semantic_gap
Line of 35mm SLR cameras, lenses, and accessories
prototype 500 mm/f5.6, prototype 800 mm/f9, prototype 1200 mm/f14, prototype 24–40 mm/f4, prototype 90–250 mm prototype of 85–250/5 Being a system, Olympus
Olympus_OM_system
Electronic design automation company based in Henderson, Nevada
incremental prototyping of hardware. 2003 marked the release of Riviera-PRO supporting assertion based verification (OpenVera, PSL and SystemVerilog can
Aldec
Class of supercarriers for the U.S. Navy
president Gerald R. Ford, the class is designed to provide upgraded weapons systems, improved energy efficiency, reduced operating costs, and reduced crew
Gerald R. Ford-class aircraft carrier
Gerald_R._Ford-class_aircraft_carrier
American defense technology company
border-patrol agents. Anduril quickly produced a prototype. Schimpf and other employees took the prototype to a test range. They trained software on open-source
Anduril_Industries
yellowTAB) Unix ("Ken's new system," for its creator (Ken Thompson), officially Unics and then Unix, the prototypic operating system created in Bell Labs in
List_of_operating_systems
Chinese stealth fighter aircraft
aircraft's flight control system, stealth coatings, hull materials, and infrared sensor. In September 2017, a newly built J-20 prototype (numbered "2021") was
Chengdu_J-20
Psychological categorization proposal
cognitively inspired artificial system called DUAL PECCS (Dual Prototypes and Exemplars based Conceptual Categorization System) that, due to this integration
Exemplar_theory
Self-propelled anti-aircraft weapon system
improvements. All 50 systems will now be wheeled on MAN SX 45 8x8 trucks from Germany, as well as the support vehicles. Delivery of the prototype occurred in 2007
Pantsir_missile_system
Activities such as flow-of-control processing, data storage definition, data verification, editing, error handling, terminal input and output, menu creation and
ADSO
Fourth generation of the Corvette sports car
helped GM design the ZR1's (which in prototype version was called "King of the Hill") upgraded braking and steering systems.[citation needed] The ZR1 is fitted
Chevrolet_Corvette_(C4)
Soviet medium tank
and turret profiles. Also notable was the T-44-100, a 100mm D-10T-armed prototype, which would be the same 100mm gun mounted on the T-54/55, bar some minor
T-44
Swedish 155 mm self-propelled howitzer
self-propelled system based on the existing FH 77 howitzer. Further test systems received the designation FH 77BD and FH 77BW. By 2004, two prototypes had been
Archer_artillery_system
Programming language and IDE for interactive fiction
Text Adventure Development System (TADS) is a prototype-based domain-specific programming language and set of standard libraries for creating interactive
Text Adventure Development System
Text_Adventure_Development_System
Software for designing electronic systems
Functional verification: ensures logic design matches specifications and executes tasks correctly. Includes dynamic functional verification via simulation
Electronic_design_automation
PROTOTYPE VERIFICATION-SYSTEM
PROTOTYPE VERIFICATION-SYSTEM
Girl/Female
Spanish
Purification.
Girl/Female
Tamil
Pranaali | பà¯à®°à®¨à®¾à®²à¯€
System, Organization
Pranaali | பà¯à®°à®¨à®¾à®²à¯€
Surname or Lastname
German
German : topographic name for someone who lived by an elder tree, Middle High German holder, or from a house named for its sign of an elder tree. In same areas, for example Alsace, the elder tree was believed to be the protector of a house.Jewish (Ashkenazic) : ornamental name from German Holder ‘elder tree’.English (chiefly western counties) : occupational name for a tender of animals, from an agent derivative of Middle English hold(en) ‘to guard or keep’ (Old English h(e)aldan). It is possible that this word was also used in the wider sense of a holder of land within the feudal system. Compare Helder.
Girl/Female
Greek
Immortal. 5th-century British military leader Ambrosius Aurelianus was probably a prototype for...
Girl/Female
Spanish
Purification.
Girl/Female
Hindu, Indian, Marathi, Sanskrit
Purification; Holiness; Truth
Boy/Male
Greek
Immortal. 5th-century British military leader Ambrosius Aurelianus was probably a prototype for...
Surname or Lastname
English
English : status name from Middle English knyghte ‘knight’, Old English cniht ‘boy’, ‘youth’, ‘serving lad’. This word was used as a personal name before the Norman Conquest, and the surname may in part reflect a survival of this. It is also possible that in a few cases it represents a survival of the Old English sense into Middle English, as an occupational name for a domestic servant. In most cases, however, it clearly comes from the more exalted sense that the word achieved in the Middle Ages. In the feudal system introduced by the Normans the word was applied at first to a tenant bound to serve his lord as a mounted soldier. Hence it came to denote a man of some substance, since maintaining horses and armor was an expensive business. As feudal obligations became increasingly converted to monetary payments, the term lost its precise significance and came to denote an honorable estate conferred by the king on men of noble birth who had served him well. Knights in this last sense normally belonged to ancient noble families with distinguished family names of their own, so that the surname is more likely to have been applied to a servant in a knightly house or to someone who had played the part of a knight in a pageant or won the title in some contest of skill.Irish : part translation of Gaelic Mac an Ridire ‘son of the rider or knight’. See also McKnight.
Female
Welsh
Welsh Arthurian legend name of the daughter of Avallach, mother of Mabon, and probably the prototype of Morgan le Fay, MODRON means "divine mother."
Surname or Lastname
English
English : status name from Middle English frankelin ‘franklin’, a technical term of the feudal system, from Anglo-Norman French franc ‘free’ (see Frank 2) + the Germanic suffix -ling. The status of the franklin varied somewhat according to time and place in medieval England; in general, he was a free man and a holder of fairly extensive areas of land, a gentleman ranked above the main body of minor freeholders but below a knight or a member of the nobility.The surname is also borne by Jews, in which case it represents an Americanized form of one or more like-sounding Jewish surnames.In modern times, this has been used to Americanize François, the French form of Francis.The American statesman and scientist Benjamin Franklin (1706–90) was the son of Josiah Franklin, a chandler (dealer in soap and candles), who had emigrated in about 1682 from Ecton, Northamptonshire, to Boston, MA, where his son was born.
Surname or Lastname
English
English : from Old Norse drengr ‘young man’, but with more than one possible interpretation. It may reflect the personal name (originally a byname) of this form, which had some currency in the most Scandinavian-influenced areas of medieval England. Alternatively it may reflect the Middle English borrowing of the vocabulary word in the sense ‘servant’, later a technical term of the feudal system of Northumbria for a free tenant who held land by military and agricultural service, sometimes paying rent as well or in commutation.
Girl/Female
Tamil
Pranali | பà¯à®°à®£à®¾à®²à¯€
System, Organization
Pranali | பà¯à®°à®£à®¾à®²à¯€
Female
Spanish
Spanish name derived from the Latin candela, CANDELARIA means "light, torch," hence "candle." The Spanish had a custom of bestowing religious names on their daughters, and sometimes their sons, in honor of the Virgin Mary; for example, Nuestra Senora de los Candelaria which translates to "Our Lady of the Candles," referring to the purification of Mary during Candlemas.
Girl/Female
Greek French
Immortal. 5th-century British military leader Ambrosius Aurelianus was probably a prototype for...
Girl/Female
Spanish
Purification.
Boy/Male
Indian, Punjabi, Sanskrit, Sikh
Virtue; Original; Pious; Purification Acquired by Virtuous Deeds
Surname or Lastname
English and Irish
English and Irish : apparently a topographic name from Middle English furlong ‘length of a field’ (from Old English furh ‘furrow’ + lang ‘long’), the technical term for the block of strips owned by several different persons which formed the unit of cultivation in the medieval open-field system of farming, or a habitational name from a minor place named with this word, such as Furlong in Devon or Shropshire. The surname is now chiefly common in Ireland, where a family of this name settled at the end of the 13th century.Possibly an Americanized form of French Ferland.
Girl/Female
Gujarati, Hindu, Indian, Jain, Marathi
Purification; To Satisfy; Complete
Surname or Lastname
English (Yorkshire)
English (Yorkshire) : status name in the feudal system for a serf who had been freed.Jewish (American) : Americanized form of Friedmann (see Fried).
Girl/Female
Spanish
Purification.
PROTOTYPE VERIFICATION-SYSTEM
PROTOTYPE VERIFICATION-SYSTEM
Biblical
bean; destruction
Boy/Male
Norse
Thunder Finn.
Boy/Male
Latin
Warring.
Girl/Female
Tamil
Diamond, Queen of gods
Girl/Female
Muslim/Islamic
Precious Generous
Boy/Male
Tamil
Asav | ஆஸாஓ, ஆஸவÂ
Essence
Girl/Female
English
A , meaning gift of god. Famous bearer: British writer Dodie Smith, author of the children's...
Boy/Male
American, Anglo, Australian, British, English
Valley Ford; From the Hall by the Ford
Boy/Male
Gaelic Irish Scottish American
Form of Michael 'Who is like God?'.
Girl/Female
Hindu, Indian, Kannada, Marathi, Sindhi, Tamil, Telugu
Picture; Goddess Firstly Started Painting; First Lady Artist Named Chitrarekha
PROTOTYPE VERIFICATION-SYSTEM
PROTOTYPE VERIFICATION-SYSTEM
PROTOTYPE VERIFICATION-SYSTEM
PROTOTYPE VERIFICATION-SYSTEM
PROTOTYPE VERIFICATION-SYSTEM
n.
The act of purifying; the act or operation of separating and removing from anything that which is impure or noxious, or heterogeneous or foreign to it; as, the purification of liquors, or of metals.
n.
The act of becoming aerified, or of changing from a solid or liquid form into an aeriform state; the state of being aeriform.
n.
A plate or block with a printing surface (usually in relief) obtained from a photograph; also, any one of the many methods of processes by which such a printing surface is obtained.
n.
A protopope.
n.
Purification; a sacrifice.
n.
Composition in metrical form; versification.
a.
Tending to edification.
n.
The art or process of producing phototypes.
n.
Confirmation by evidence.
n.
The act, art, or practice, of versifying, or making verses; the construction of poetry; metrical composition.
n.
Same as Phototypy.
n.
The act of verifying, or the state of being verified; confirmation; authentication.
n.
Purification.
n.
An original or model after which anything is copied; the pattern of anything to be engraved, or otherwise copied, cast, or the like; a primary form; exemplar; archetype.
n.
Reproach; abuse; vilification.
n.
A formal phrase used in concluding a plea.
n.
The act of combining air with another substance, or the state of being filled with air.
n.
The deification of self.
a.
Of or pertaining to a phototype or phototypy.
v. t.
Verification; establishment by evidence.