Mô tả
Phương pháp trong mô tả phần mềm hình thức, phát triển và xác minh. Sử dụng chứng minh định lý, suy diễn tự động, và các phương pháp hình thức liên quan cho tính đúng của phần mềm. Ứng dụng trong xác minh chương trình và tính toán an toàn.
Văn bản tham chiếu bằng ngôn ngữ gốc
Methodologies in formal software specification, development, and verification. The use of theorem proving, automated deduction, and other related formal methods for software correctness. Applications in program verification and secure computation.
Nguồn và tham khảo
Ngày và nguồn được giữ lại để giúp bạn kiểm tra thông tin. Các bản dịch được cung cấp để dễ đọc; nguồn chính thức là tham chiếu cho các điều kiện và yêu cầu.
Nguồn tham khảo : https://calendar.carleton.ca/grad/courses/COMP/