Үүнийг мессежээр илгээх: Linear Completeness Thresholds for Bounded Model Checking.