Imandra
Nâng cấp trải nghiệm của bạn với ứng dụng máy tính dành cho Imandra trên WebCatalog Desktop cho Mac, Windows, Linux.
Chạy ứng dụng trong từng cửa sổ riêng biệt tránh gây phân tâm với nhiều cải tiến.
Dễ dàng quản lý và chuyển đổi giữa nhiều tài khoản và ứng dụng mà không cần chuyển đổi trình duyệt.
Imandra là một công cụ lý luận tự động dựa trên nền tảng đám mây để phân tích các thuật toán mang lại sự chặt chẽ và tự động hóa chưa từng có cho việc thiết kế và quản trị thuật toán.
Trang web: imandra.ai
Miễn trừ trách nhiệm: WebCatalog không được liên kết, ủy quyền, chứng thực hay kết nối chính thức với Imandra theo bất kỳ cách nào. Tất cả tên sản phẩm, logo và nhãn hiệu đều là tài sản của chủ sở hữu tương ứng.
