research
∙
09/19/2023
CFGPT: Chinese Financial Assistant with Large Language Model
Large language models (LLMs) have demonstrated great potential in natura...
share
research
∙
06/19/2023
Partial-order Checking with Unfolding for Linear Temporal Properties
Unfolding can tackle the path-explosion problem caused by concurrency. T...
research
∙
01/27/2023
Program Dependence Net and Its Slice for Verifying Linear Temporal Properties
The finite-state model checking of software is still limited by the noto...
research
∙
01/15/2021
