prove

(redirected from prover)
Also found in: Dictionary, Thesaurus, Medical, Idioms, Wikipedia.

Related to prover: Proverbs, meter prover

prove

v. to present evidence and/or logic that makes a fact seem certain. What a party must do to convince a trier of fact (judge or jury without a judge) as to facts claimed and to win a lawsuit or criminal case. (See: proof)

prove

verb ascertain, ascertain as truth, confirm, corroborate, declarare, demonstrate, establish as truth, establish the genuineness of, essablish the validity of, evince, manifest, ostendere, probare, put to the proof, put to the test, show, show clearly, substantiate, support, uphold, validate, verify
Foreign phrases: In rebus manifestis, errat qui auctoritates legum allegat; quia perspicua vera non sunt probanda.In clear cases, he makes mistakes who cites legal authorities; for obvious truths are not to be proved.

References in periodicals archive ?

Esterel Studio is adding "Prover SL for Esterel Studio," a specialized version of Prover SL.

Prover Technology and Esterel Technologies Join Forces to Cut Weeks from Hardware and Software Development Cycles

The prover whose volume is known is used to verify the performance of the entire metering system.

Custody transfer: the value of good measurement and the search for the truth

In the context of the HOLCAS system described above, for example, it would be valuable to have rough estimates for the number of man-hours required to implement a minimal CAS with the most widely used functionality on top of a theorem prover.

Robust Computer Algebra, Theorem Proving, and Oracle AI

The 4th Generation family of small volume provers will be available for sale the first quarter of 2018.

Flow Management Devices Raises the Bar in Small Volume Proving. Introducing the 4th Generation Unidirectional Captive Displacement Prover (SVP).

A prover and a witness communicate with each other via Bluetooth or WiFi.

Enabling collusion resistant location proof and secure location sharing for mobile users

Suppose that the Verifier Alice and the Prover Bob run a challenge-response authentication protocol which uses a lightweight symmetric encryption operation

A Protocol for Provably Secure Authentication of a Tiny Entity to a High Performance Computing One

CAT-Ma'aden: metering skid with prover (for Aramco)

GSW gets Aramco nod for skids

2) Strong-type adversaries can continue using a prover whose public key has been replaced, provided they supply the secret value corresponding to the replaced public key for the conversation.

An efficient and provable secure certificateless identification scheme in the standard model

They prover d the saying a - that it is the taking part that counts rather than the winning - to be absolutely l correctr by havinga the maturity to cope with their inevitae blea disappointment at not going through r to the final round and continuingn to play a a full role in their questioning and challenging of the eventual v winners.

Cardiff Sixth Form debating g team in finals; ADVERTISING FEATURE

Patients are idiosyncratic," said Prover, who also happens to be a licensed pharmacist.

IS CHEAPER BETTER? GENERIC DRUGS COST LESS AND ARE EFFECTIVE, BUT THEY MAY NOT BE RIGHT FOR EVERYONE

With left or right loading options and fitted with cotton or nylon pockets the Prover is suitable for most craft bakery applications.

Competitively priced bread plant

Now available from MathWorks is Simulink[R] Design Verifier, which generates tests and proves design properties for Simulink[R] and Stateflow[R] models using the Prover[R] Plug-In from Prover Technology.