Author:
Li Jianwen,Zhang Lijun,Pu Geguang,Vardi Moshe Y.,He Jifeng
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12
3. LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
4. SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
5. Early Verification of Legal Compliance via Bounded Satisfiability Checking;Computer Aided Verification;2023