counterexamples are generated when

counterexamples are generated when a property does not hold (which is extremely helpful in finding the source of the problem in the system)

Kết quả (Việt) 1:

counterexamples được tạo ra khi một tài sản không giữ (mà là rất hữu ích trong finding nguồn gốc của vấn đề trong hệ thống)

Kết quả (Việt) 2:

counterexamples được tạo ra khi một tài sản không giữ (mà là cực kỳ hữu ích trong fi nding nguồn gốc của các vấn đề trong hệ thống)