计算机科学与技术学院 南京航空航天大学 江苏省南京市江宁区将军大道29号,邮编:211106
随着计算机和软件系统应用范围的不断扩大,他们的可靠性变得非常重要。 现代软件系统的大规模和复杂性不可避免地会导致软件设计和实现过程中的错误,而这些错误可能会导致系统失效甚至不可接受的损失。 我们的研究目标是开发可以帮助开发人员从软件中自动发现错误的形式化验证技术。 最近的一些研究兴趣包括模型检验,运行时验证,测试,以及它们在航空软件和网络协议验证等方面的应用。