Nghiên cứu về Separation Logic và ứng dụng vào hệ thống kiểm định tự động.

Abstract

Tổng quan về hoare logic, separation logic và kiểm định phần mềm, kiểm chứng mô hình, vai trò của separation logic trong tự động hóa kiểm định phần mềm. Nêu cơ sở lý thuyết của separation logic và giải pháp cho ứng dụng kiểm định phần mềm tự động. Cài đặt thử công cụ kiểm định tự động ứng dụng separation logic.