Trong vài tuần qua, @dnkolegov (và đội ngũ tại @asymmetric_re) đã dịch Minimmit thành một đặc tả có thể thực thi (được viết bằng Quint). Tại sao? Chúng tôi giờ đây có thể tự động hóa việc tìm kiếm sự không hợp lệ của Minimmit so với Trình kiểm tra mô hình biểu tượng Apalache 🤖.