Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification

佐藤春夫曾说：“聋者看似愚人，盲者看似贤者。” 只因聋者每当听人说话时，会蹙起眉头，张口瞠目，或斜首或仰面，给人呆头呆脑之感，而盲人则默然端坐，低眉垂首，宛如瞑目沉思，俨然深思熟虑者，故有此说。