Công nghệ lưu vết

Luận văn phát triển các kỹ thuật tìm bất biến invariants và biến variants cho việc sử dụng hoare logic để chứng minh tính đúng đắn của chu trình

Luận văn nghiên cứu phát triển kỹ thuật tìm bất biến và biến cho việc sử dụng Hoare logic trong chứng minh tính đúng đắn của chu trình.