单词checkers
n.: 西洋跳棋
网络: 西洋棋；国际跳棋；格子砖
国际跳棋；西洋跳棋:
a game for two players using 24 round pieces on a board marked with black and white squares
西洋跳棋
Look, if it were up to me, we wouldn"t have mandatory biweekly lock checkers.
要是我能做主，两周一次的强制储物柜检查没必要。
Presently Klocwork is at the point of having about the same number of checkers in each language they support (roughly 175 per language).
目前，Klocwork支持的每种语言所含有的检验程序几乎一样多（大概每种语言有175个）。
Came out from the room, she did not cry, but red-eyes, sitting alone at the table playing checkers.
从房间出来后，她并没有哭，只是红着双眼，独自一人坐在桌子边玩跳棋。
All static analysis techniques used in compilers and model checkers assume the existence of CFGs for the procedures of a program.
编译器和模型检查器使用的所有静态分析技术假定程序的过程有CFGs。
I remember playing Chinese checkers and eating candy corn when I used to stay with her as a kid.
我记得儿时跟她在一起下跳棋，吃玉米糖。
CHECKERS (or draughts, as it is known in Britain) used to be a fun game of chance.
国际跳棋（美国叫checkers，英国叫draughts）曾是一种有趣的博弈游戏。
In this age of electronic spelling and grammar checkers, there is no reason to produce poorly written content.
在眼下这种电子拼写和语法检查的时代，没有理由写出低质量的内容。
Wow! You were kinged! Does that mean you made it to the other side of the checkers board?
哇噢！你变成了国王！这是不是因为你走到棋盘另一边去了？
He may cheat in checkers, but it beats staring at his face all day long.
他可能在下象棋时做手脚，但是只要一整天盯着他的脸看便会获胜了。
Although less automatic, efficient usage of a theorem prover can handle much larger designs than model checkers and requires less memory.
尽管缺少自动化，高效地使用定理证明器能处理比模型检查器更大的设计并且要求更小的内存。