Build quality projects with craftsmanship, earn market respect with integrity.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
每个案件都是一个故事,每个故事都有开始、中间和结束。
"I am not young enough to know everything."
这是数着别人契上的齿数,而以为自己很富有。 
我画画不是为了逃避现实,而是为了面对它。