The 形式化方法，软件工程和编程语言 research group strives to advance the software development process by utilizing the principles and techniques from logic, mathematics, and interactive/automated theorem proving to ensure the correctness and security of software.
湘获刑
