From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Searching for i-Good Lemmas to Accelerate Safety Model Checking.

Y. Xia, A. Becchi, A. Cimatti, A. Griggio, J. Li, и G. Pu. CAV (2), том 13965 из Lecture Notes in Computer Science, стр. 288-308. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Pu Chen

Jianfeng Pu

Jielin Pu

Jianjun Pu

Lingling Pu

Другие публикации лиц с тем же именем

Formal modelling of list based dynamic memory allocators.B. Fang, M. Sighireanu, G. Pu, W. Su, J. Abrial, M. Yang, и L. Qiao. Sci. China Inf. Sci., 61 (12): 122103:1-122103:16 (2018)The stochastic semantics and verification for periodic control systems.M. Yang, Z. Wang, G. Pu, S. Qin, B. Gu, и J. He. Sci. China Inf. Sci., 55 (12): 2675-2693 (2012)MDM: A Mode Diagram Modeling Framework for Periodic Control SystemsZ. Wang, G. Pu, S. Qin, J. Li, K. Larsen, J. Madsen, B. Gu, и J. He. CoRR, (2012)Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework.S. Zhang, J. Bai, M. Guan, Y. Huang, Y. Zhang, J. Sun, и G. Pu. CoRR, (2023)Experimenting a New Programming Practice with LLMs.S. Zhang, J. Wang, G. Dong, J. Sun, Y. Zhang, и G. Pu. CoRR, (2024)Searching for i-Good Lemmas to Accelerate Safety Model Checking.Y. Xia, A. Becchi, A. Cimatti, A. Griggio, J. Li, и G. Pu. CAV (2), том 13965 из Lecture Notes in Computer Science, стр. 288-308. Springer, (2023)FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain.J. Feng, W. Miao, H. Zheng, Y. Huang, J. Li, Z. Wang, T. Su, B. Gu, G. Pu, M. Yang и 1 other автор(ы). CoRR, (2023)Masked Faces with Faced Masks.J. Zhu, Q. Guo, F. Juefei-Xu, Y. Huang, Y. Liu, и G. Pu. ECCV Workshops (1), том 13801 из Lecture Notes in Computer Science, стр. 360-377. Springer, (2022)MemLock: memory usage guided fuzzing.C. Wen, H. Wang, Y. Li, S. Qin, Y. Liu, Z. Xu, H. Chen, X. Xie, G. Pu, и T. Liu. ICSE, стр. 765-777. ACM, (2020)The Verification of rCOS Using Spin.X. Yu, Z. Wang, G. Pu, D. Mao, и J. Liu. TTSS, том 207 из Electronic Notes in Theoretical Computer Science, стр. 49-67. Elsevier, (2007)

BibSonomy

Disambiguation