“prover”可以造什么句,prover造句
bi-directional pipe prover
master meter prover
bi-directional folded-type prover system
This paper proposes an automatic calibration system of bell prover gas calibration facility.
A prover for parallel numerical verification of a class of constructive geometry theorems.
Without automated theorem prover, programmers have to generate all proofs by hand, which is a huge workload.
Although less automatic, efficient usage of a theorem prover can handle much larger designs than model checkers and requires less memory.
We will serve you for ever with our solid spirit, prover techniques, qualified products and our advanced equipment and management together with our good reputation.
With the aid of the research fruits from the automated geometry theoremproving, this paper can implement the software with intelligence mentioned aboveby embedding the geometry theorem prover (GTP) in the DGS.
skid-mounted meter prover
He ended the article with a prover.
This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.
Effective use of a theorem prover requires a solid understanding of the internal operations of the tool and a familiarity with the mathematical proof process.
piston displacement prover
Dynamic measurement of crude oil--Operating stipulations of verificating positive displacement meters by pipe prover
Or else, the abstraction may throw away so much information that the theorem prover may yield results that are correct for the abstraction, but incorrect for the program being analysed.
The Issuer will protect the token by signing it and by including a public key known only to the prover.
Flow measurement calibration facility-Pipe prover