Image de couverture de livre

Predicting Lemmas in Generalization of IC3

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Su, Yuheng, Yang, Qiusong, Ci, Yiwei
Format:	Preprint
Publié:	2024
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution
par: Li, Yufeng, et autres
Publié: (2024)

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction
par: Tian, Enyuan, et autres
Publié: (2025)

Extended CTG Generalization and Dynamic Adjustment of Generalization Strategies in IC3
par: Su, Yuheng, et autres
Publié: (2025)

The rIC3 Hardware Model Checker
par: Su, Yuheng, et autres
Publié: (2025)

Deeply Optimizing the SAT Solver for the IC3 Algorithm
par: Su, Yuheng, et autres
Publié: (2025)

Lemma Discovery in Agentic Program Verification
par: Zhao, Huan, et autres
Publié: (2026)

Synthesizing Inductive Invariants for Distributed Protocols via IC3 and Large Language Models
par: Cao, Weining, et autres
Publié: (2026)

LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking
par: Miao, Mingkai, et autres
Publié: (2026)

Code-Survey: An LLM-Driven Methodology for Analyzing Large-Scale Codebases
par: Zheng, Yusheng, et autres
Publié: (2024)

TESTEVAL: Benchmarking Large Language Models for Test Case Generation
par: Wang, Wenhan, et autres
Publié: (2024)

Towards Understanding the Characteristics of Code Generation Errors Made by Large Language Models
par: Wang, Zhijie, et autres
Publié: (2024)

CIll: CTI-Guided Invariant Generation via LLMs for Model Checking
par: Su, Yuheng, et autres
Publié: (2026)

Are LLMs Correctly Integrated into Software Systems?
par: Shao, Yuchen, et autres
Publié: (2024)

Cascade Generalization-based Classifiers for Software Defect Prediction
par: Bashir, Aminat, et autres
Publié: (2024)

Predicting Developer Acceptance of AI-Generated Code Suggestions
par: Jiang, Jing, et autres
Publié: (2026)

IOTEL: A Tool for Generating IoT-enriched Object-Centric Event Logs
par: Wei, Jia, et autres
Publié: (2026)

Fine-grained Testing for Autonomous Driving Software: a Study on Autoware with LLM-driven Unit Testing
par: Wang, Wenhan, et autres
Publié: (2025)

Don't Confuse! Redrawing GUI Navigation Flow in Mobile Apps for Visually Impaired Users
par: Zhang, Mengxi, et autres
Publié: (2025)

Assessing the Impact of Requirement Ambiguity on LLM-based Function-Level Code Generation
par: Yang, Di, et autres
Publié: (2026)

What to Cut? Predicting Unnecessary Methods in Agentic Code Generation
par: Watanabe, Kan, et autres
Publié: (2026)

Mono2Sls: Automated Monolith-to-Serverless Migration via Multi-Stage Pipeline with Static Analysis
par: Chen, Xingyan, et autres
Publié: (2026)

Explaining Code Risk in OSS: Towards LLM-Generated Fault Prediction Interpretations
par: Adejumo, Elijah Kayode, et autres
Publié: (2025)

Context-aware Code Summary Generation
par: Su, Chia-Yi, et autres
Publié: (2024)

From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing
par: Xiong, Yiheng, et autres
Publié: (2026)

Correctness-Guaranteed Code Generation via Constrained Decoding
par: Li, Lingxiao, et autres
Publié: (2025)

When to Answer and When to Defer: A Decision Framework for Reliable Code Predictions
par: Rathnasuriya, Ravishka, et autres
Publié: (2026)

SABER: Model-agnostic Backdoor Attack on Chain-of-Thought in Neural Code Generation
par: Jin, Naizhu, et autres
Publié: (2024)

CAM: A Causality-based Analysis Framework for Multi-Agent Code Generation Systems
par: Lyu, Zongyi, et autres
Publié: (2026)

Pre-training by Predicting Program Dependencies for Vulnerability Analysis Tasks
par: Liu, Zhongxin, et autres
Publié: (2024)

Evolution without an Oracle: Driving Effective Evolution with LLM Judges
par: Zhao, Zhe, et autres
Publié: (2025)

AnomalyGen: An Automated Semantic Log Sequence Generation Framework with LLM for Anomaly Detection
par: Li, Xinyu, et autres
Publié: (2025)

Exploring the Effectiveness of LLMs in Automated Logging Generation: An Empirical Study
par: Li, Yichen, et autres
Publié: (2023)

VLATest: Testing and Evaluating Vision-Language-Action Models for Robotic Manipulation
par: Wang, Zhijie, et autres
Publié: (2024)

Defect Category Prediction Based on Multi-Source Domain Adaptation
par: Xing, Ying, et autres
Publié: (2024)

CodeDPO: Aligning Code Models with Self Generated and Verified Source Code
par: Zhang, Kechi, et autres
Publié: (2024)

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments
par: Hu, Yiwei, et autres
Publié: (2025)

MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing
par: Yang, Tianyi, et autres
Publié: (2022)

A Generic Approach to Fix Test Flakiness in Real-World Projects
par: Chen, Yang, et autres
Publié: (2024)

CFCEval: Evaluating Security Aspects in Code Generated by Large Language Models
par: Cheng, Cheng, et autres
Publié: (2025)

Automatic Bi-modal Question Title Generation for Stack Overflow with Prompt Learning
par: Yang, Shaoyu, et autres
Publié: (2024)