logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回期刊详情
F

FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025

IF
论文数19
被引数
期刊论文 19
发表时间
delete
ZK-ProVer: Proving Programming Verification in Non-interactive Zero-Knowledge ProofsZK-ProVer：在非交互式零知识证明中证明程序验证
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteWei, Haoyu; Ke, Jingyu; Liu, Ruibang; Li, Guoqiang
delete分享
delete收藏
BCCIC3: Batch Clause Construction Enhanced Generalization in IC3
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteChen, Yi; Gong, Xinyi; Yin, Liangze; Wang, Ji; Wang, Ting
delete分享
delete收藏
A Test-Driven Approach for Refining Use Case Specifications of Software Requirements with LLMs基于大语言模型的测试驱动方法用于精化软件需求用例规范
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLi, Haibo; Zheng, Lixiao; Cai, Qihang
delete分享
delete收藏
Formal Construction of Threat Detections from Attack Trees从攻击树中形式化构建威胁检测
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deletePrelipcean, Dumitru-Bogdan; Dima, Catalin; Varacca, Daniele
delete分享
delete收藏
A Unified Method to Efficiently Verify Opacity of Discrete-Timed Automata统一方法高效验证离散时间自动机的不可见性
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKlein, Julian; Zhang, Kuize; Glesner, Sabine
delete分享
delete收藏
LLM-SYM: Integrating Symbolic Methods and Large Language Models for Automated Theorem ProvingLLM-SYM：整合符号方法和大型语言模型进行自动定理证明
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteWu, Yifan; Huang, Yanhong; Shi, Jianqi
delete分享
delete收藏
Formal Modeling and Verification of Blockchain Consensus Protocols: A Case Study on ChainMaker区块链共识协议的形式化建模与验证：基于ChainMaker的案例研究
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteXu, Minfan; Zhou, Shuo; Xu, Xian; Long, Huan
delete分享
delete收藏
Quantitative Verification for Temporal Properties of Massive Linear Systems大规模线性系统时态属性的定量验证
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLiu, Qing; Li, Yuntao; Choi, Sung Woo; Nguyen, Luan Viet; Tran, Hoang-Dung
delete分享
delete收藏
Synthesizing Loops from Linear Ranking Functions从线性排序函数合成循环
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteJing, Rui-Juan; Yuan, Yaru; Cai, Yuxing; Li, Yi; Chen, Changbo
delete分享
delete收藏
Formal Modeling of Reinforcement Learning Systems with SMT强化学习系统的SMT形式化建模
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDing, Tianyi; Lin, Yuxin; Sun, Meng
delete分享
delete收藏
Detecting Vector Container Errors in C plus plus Programs via Abstract Interpretation通过抽象解释检测C++程序中的向量容器错误
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLiu, Siyu; Chen, Liqian; Fan, Guangsheng; Yin, Banghu; Huang, Chun; Wang, Ji
delete分享
delete收藏
Towards High-Level SMT Program Modeling: Bounded Integers, Simplified Structs, and Metaprogramming面向高级SMT程序建模：有界整数、简化结构体和元编程
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLi, Xiangyu
delete分享
delete收藏
Formalizing Requirements into Dafny Specifications with LLMs将需求形式化为Dafny规范与大型语言模型
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLu, Yi-Han; Zhu, Xue-Yang; Zhang, Wenhui; Yan, Rongjie
delete分享
delete收藏
Formal Modelling of Fault Tolerant Robotic Missions容错机器人任务的正式建模
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLecart, Manon; Troubitsyna, Elena
delete分享
delete收藏
Avoiding Larger Conflict Regions in CDCL-Style Methods for Solving SMT-NRA在CDCL风格方法求解SMT-NRA中避免更大的冲突区域
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteNi, Xinpeng; Ding, Tianyi; Xia, Bican
delete分享
delete收藏
Modeling and Analysis of Cyber-Physical Systems in the Hybrid π-Calculus Using Extended Sequence Diagrams基于扩展序列图的混合π演算中网络物理系统的建模与分析
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteXu, Xiong; Miao, Jixiang; Wang, Shuling; Talpin, Jean-Pierre
delete分享
delete收藏
MetaLogic: Robustness Evaluation of Text-to-Image Models via Logically Equivalent PromptsMetaLogic：通过逻辑等价提示评估文本到图像模型的鲁棒性
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteShen, Yifan; Shu, Yangyang; Paik, Hye-young; Sui, Yulei
delete分享
delete收藏
Automata-Based Steering of Large Language Models for Diverse Structured Generation基于自动机的多样化结构化生成的大语言模型控制
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLuan, Xiaokun; Wei, Zemin; Zhang, Yihao; Sun, Meng
delete分享
delete收藏
Modeling and Verifying Concurrent Reactive Systems Using Separation Logic使用分离逻辑对并发反应系统进行建模与验证
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSun, Huan; Sanan, David; Sun, Jun; Wang, Wenhai
delete分享
delete收藏