可信系统性质的分类和形式化研究综述
王淑灵， 詹博华， 盛欢欢， 吴昊， 易士程， 王令泰… - 软件学报, 2022 - jos.org.cn
… , including formal modeling, property specification, verification methods and tools. This
will allow users of formal methods to choose, based on different system characteristics and …
will allow users of formal methods to choose, based on different system characteristics and …