中文

Paper Publications

Current position: Home > Scientific Research > Paper Publications

Interactively Translating Real-world Software Requirements into Linear Temporal Logics with Large Language Models

Release time:2025-08-14  Hits:

Journal:accepted by QRS Companion

Indexed by:Essay collection

Translation or Not:no

Co-author:Zhibin Yang,Yong Zhou,Shuyi Yang,Ai Liu

Date of Publication:2025-07-20

Pre One: Condition Sequence Coverage Criterion and Automatic Test Case Generation for Testing-Based Formal Verification Next One: Diagnosing Deep Learning Errors with Reinforcement Learning-Driven Adversarial Examples

Copyright©2018- Nanjing University of Aeronautics and Astronautics·Informationization Department(Informationization Technology Center)

Click：| The Last Update Time:--| The Last Update Time:-- |MOBILE Version