esbmc की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
कुशल SMT-आधारित संदर्भ-बद्ध मॉडल चेकर (ESBMC)
