Sentence examples for using an automated theorem from inspiring English sources
As with hardware, automated formal verification (simply formal verification, hereafter) is concerned with discharging these proof obligations using an automated theorem prover.
Attempts have also been made to validate Anselm's proof using an automated theorem prover.
Due to its richer expressiveness, it should not come as a surprise that implementing an automated theorem prover for higher-order logic is more challenging than for first-order logic.
Diagrams in [7] suggest that theories/programs should correspond to axioms, and the execution of the program by a computer, regarded as an automated theorem prover, should output empirical data in the form of theorems.
Six shoulders were tested using an automated mechanical system.
The spectrum is recorded using an automated home-built photoacoustic spectrometer.
Plasma levels of sCD14 can be measured using an automated chemo-luminescent assay (PATHFAST®, Ingen®, France).
The absorbance was measured at 590 nm using an automated microplate reader (Biorad 680-XR, Japan).
The indentation module (Young's modulus) was measured using an automated Shimadzu DUH-211/DUH-211S.
The IAP was held at 12 to 13 mmHg using an automated insufflator.
Plasma presepsin concentrations were measured using an automated chemiluminescent enzyme immunoanalyzer, PATHFAST system (LSI Medience Co., Tokyo, Japan).
