机械语义相关论文
随着现代计算机系统的规模越来越大、复杂性越来越高,如何开发可信的软硬件系统已经成为计算机科学发展的巨大挑战。形式化方法是......
如今的软件系统已经广泛应用于人们日常生活的各个领域,然而,开发出可靠和正确的软件系统依然是一个巨大的挑战。形式化方法使用基......
随着证明理论和定理证明器的不断发展与成熟,形式语义研究已经从传统的基于手工证明的研究进入到机器可处理的机械语义的研究。交互......