Câu hỏi được gắn thẻ «se.software-engineering»

Các vấn đề ngăn chặn khẳng định rằng nó là không thể để viết một chương trình mà có thể xác định nếu một tạm dừng chương trình, cho tất cả các chương trình đầu vào càng tốt . Tuy nhiên, tôi chắc chắn có thể viết một chương trình …

23 computability  time-complexity  formal-methods  se.software-engineering 

Tôi đang tự học phương pháp chính thức. Tôi nghe nói rằng các phương pháp chính thức được sử dụng (và thường chỉ được sử dụng) để tạo ra phần mềm quan trọng (như bộ điều khiển lò phản ứng hạt nhân, bộ điều khiển bay máy bay, bộ điều …

15 program-verification  formal-methods  se.software-engineering