Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020

Abstract

Hội nghị về các phương pháp hình thức trong thiết kế có sự hỗ trợ của máy tính (FMCAD) là hội nghị thường niên về lý thuyết và ứng dụng của các phương pháp hình thức trong xác minh phần cứng và hệ thống. FMCAD cung cấp một diễn đàn hàng đầu cho các nhà nghiên cứu trong giới học thuật và công nghiệp để trình bày và thảo luận về các phương pháp, công nghệ, kết quả lý thuyết và công cụ mang tính đột phá về các hệ thống máy tính. FMCAD bao gồm các khía cạnh chính thức của thiết kế hệ thống được máy tính hỗ trợ bao gồm xác minh, đặc tả, tổng hợp và thử nghiệm.