VDMJ
Giấy phép: Miễn phí Kích cỡ tệp: N/A
Xếp hạng người dùng: 4.0/5 - 1 Phiếu
Hãy chờ... Liên kết tải xuống của bạn đang được xác minh cho nội dung độc hại.
Bạn sẽ có thể tải xuống trong 5 giây.
Bạn sẽ có thể tải xuống trong 5 giây.
Về VDMJ
VDMJ cung cấp hỗ trợ công cụ cơ bản cho các ngôn ngữ đặc tả VDM-SL, VDM++ và VDM-RT, được viết bằng Java. Nó bao gồm một phân tích cú pháp, một kiểm tra loại, một thông dịch viên, một trình gỡ lỗi và một máy phát điện nghĩa vụ bằng chứng. Nó được sử dụng bởi dự án Nhật thực Overture.