Runtime Vеrification
Công ty bảo mật Blockchain
Thông tin cơ bản
Xác minh thời gian chạy sử dụng các phương pháp chính thức để thực hiện kiểm tra bảo mật trên các máy ảo và hợp đồng thông minh trên các chuỗi khối công khai. Nó cũng cung cấp dịch vụ kiểm tra phần mềm, xác minh và các sản phẩm để cải thiện tính an toàn, độ tin cậy và tính chính xác của hệ thống phần mềm trong không gian chuỗi khối.
Thành viên nhóm
Nhà đầu tư
Hôm nay bạn cảm thấy thế nào về Runtime Vеrification?
Tổng số phiếu bầu: 750
Sự kiện quan trọng
Jun, 2021
Runtime Vеrification Đã hoàn thành Tài trợ $ 5.3 M USD
dự án tương tự
Halborn
Công ty An ninh mạng Blockchain
CertiK
Công ty bảo mật Blockchain
OpenZeppelin
Công ty dịch vụ và công nghệ bảo mật mạng tiền điện tử
Quantstamp
Công ty bảo mật Blockchain
MetaTrust
Giải pháp quét bảo mật tự động cho Ứng dụng Web3
Hacken
Kiểm toán viên an ninh mạng Web3
sec3
Công ty nghiên cứu bảo mật Web3
Veridise
Tăng cường bảo mật chuỗi khối bằng các phương pháp chính thức