Chúng tôi tự hào thông báo rằng Invariant Suite mà chúng tôi viết cho Superform hiện đã công khai! Bộ công cụ này là sản phẩm của một quá trình kiểm tra invariant kéo dài 4 tuần và một cuộc kiểm toán kéo dài 3 tuần diễn ra song song. Hàng ngàn dòng mã, 120 thuộc tính đã được kiểm tra. Liên kết trong trang kiểm toán của chúng tôi!