logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
F

FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025

IF
Papers19
Citations
Journal Papers 19
Publication Date
delete
ZK-ProVer: Proving Programming Verification in Non-interactive Zero-Knowledge Proofs
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteWei, Haoyu; Ke, Jingyu; Liu, Ruibang; Li, Guoqiang
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
LLM-SYM: Integrating Symbolic Methods and Large Language Models for Automated Theorem Proving
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteWu, Yifan; Huang, Yanhong; Shi, Jianqi
deleteShare
deleteSave
Formal Modeling and Verification of Blockchain Consensus Protocols: A Case Study on ChainMaker
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteXu, Minfan; Zhou, Shuo; Xu, Xian; Long, Huan
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
Formal Modeling of Reinforcement Learning Systems with SMT
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDing, Tianyi; Lin, Yuxin; Sun, Meng
deleteShare
deleteSave
Detecting Vector Container Errors in C plus plus Programs via Abstract Interpretation
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
deleteShare
deleteSave
Towards High-Level SMT Program Modeling: Bounded Integers, Simplified Structs, and Metaprogramming
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLi, Xiangyu
deleteShare
deleteSave
Formalizing Requirements into Dafny Specifications with LLMs
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLu, Yi-Han; Zhu, Xue-Yang; Zhang, Wenhui; Yan, Rongjie
deleteShare
deleteSave
Formal Modelling of Fault Tolerant Robotic Missions
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLecart, Manon; Troubitsyna, Elena
deleteShare
deleteSave
Avoiding Larger Conflict Regions in CDCL-Style Methods for Solving SMT-NRA
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteNi, Xinpeng; Ding, Tianyi; Xia, Bican
deleteShare
deleteSave
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
deleteShare
deleteSave
MetaLogic: Robustness Evaluation of Text-to-Image Models via Logically Equivalent Prompts
deleteFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteShen, Yifan; Shu, Yangyang; Paik, Hye-young; Sui, Yulei
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave