Sentence examples for machine checking from inspiring English sources

We implemented debouncing using a state machine checking the status of this button input char (ignoring the external interrupt pin).

I study the machine, checking for flaws--perhaps a dimmed bulb or a blocked ramp--but it's hopeless.

Right now, the marijuana law is too new for businesses to be confident that a machine checking a medical card wouldn't cause legal trouble.

The capability of two traceable artifacts (one 2-D and one 3-D design) and a machine checking gage were assessed.

The great American counterspook, Paul Redmond, left a word-news tip in the dead drop that is my answering machine: "Check out bundling".

This paper presents a machine checked semantics-preserving transformation of a subset of AADL (including periodic threads, data port communications, mode changes, and the AADL behavior annex) into Timed Abstract State Machines (TASM).

The machine checks the heart rhythm and, if it detects the kind of abnormality that can be converted with a shock, it tells the rescuer to press the shock button.

For more on the race to achieve the first quantum machine, check out Adrian Cho's feature "Faintest Thrum Heralds Quantum Machines" in the 29 January issue of Science.

Specifically, our contribution is to provide a machine checked proof of: 1. type soundness, using standard small-step call-by-value semantics.

If you're voting on an electronic voting machine, check the review screen to make sure it reflects your vote.

And if you really want to enter the wayback machine, check out our weekly podcasts for the final season of "Lost," which linger here.