李建文

作品数：2被引量：1H指数：1
导出分析报告
供职机构：华东师范大学更多>>
发文主题：打包DAG信息预处理交易混合型更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《软件学报》《华东师范大学学报（自然科学版）》更多>>
所获基金：上海市浦江人才计划项目国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于机器学习的模型检查算法性能预测方法被引量：1
《华东师范大学学报（自然科学版）》2024年第4期18-29,共12页张枨宇 诸嘉逸 黄怿豪 杨迪 李建文 缪炜恺 阎迪 顾斌 詹乃军 蒲戈光 
与非图模型是一种表示电路设计的通用基础形式,同时也是模型检查器的一种通用输入格式.介绍了一种基于与非图结构编码的特征提取方法,并基于该方法实现了一种快速的组合模型检查器Liquid.所提出的结构编码的核心思想:首先罗列出与非图...
关键词：模型检查 与非图 组合模型检查器 
基于不可满足核的近似逼近可达性分析
《软件学报》2023年第8期3467-3484,共18页于忠祺 张小禹 李建文 
国家自然科学基金(62002118,U21B2015);上海市浦江人才计划(19511103602);上海市可信工业互联网软件协同创新中心(2021-2025)。
近年来,形式化验证技术受到了越来越多的关注,它在保障安全关键领域系统的安全性和正确性方面发挥着重要的作用.模型检测作为形式化验证中自动化程度较高的分支,具有十分广阔的发展前景.研究并提出了一种新的模型检测技术,可以有效地对...
关键词：符号模型检测 形式化验证 不可满足核 SAT求解器 不变式 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部