VDMJ
ใบ อนุญาต: ฟรี ขนาดแฟ้ม: N/A
คะแนนจากผู้ใช้: 4.0/5 - 1 โหวต
กรุณารอสักครู่ ลิงก์ดาวน์โหลดของคุณกําลังได้รับการตรวจสอบสําหรับเนื้อหาที่เป็นอันตราย
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
เกี่ยวกับ VDMJ
VDMJ ให้การสนับสนุนเครื่องมือพื้นฐานสําหรับภาษาสเปค VDM-SL, VDM++ และ VDM-RT ที่เขียนใน Java มันรวมถึงตัวแยกวิเคราะห์ตัวตรวจสอบประเภทล่ามดีบักเกอร์และเครื่องกําเนิดไฟฟ้าภาระผูกพันหลักฐาน มันถูกใช้โดยโครงการสุริยคราส Overture