会议文集


文集名Verified Software. Theories, Tools and Experiments
会议名15th International Conference on Verified Software: Theories, Tools and Experiments (VSTTE 2023)
中译名《第十五届国际验证软件会议：理论、工具与实验》
会议日期October 23-24, 2023
会议地点Ames, IA, USA
出版年2024
馆藏号353243


题名作者出版年
Picky CDCL: SMT-Solving with Flexible Literal SelectionKonstantin I. Britikov; Antti E. J. Hyvarinen; Natasha Sharygina2024
Safety Performance of Neural Networks in the Presence of Covariate ShiftChih-Hong Cheng; Harald Ruess; Konstantinos Theodorou2024
Pierce: A Testing Tool for Neural Network Verification SolversJoseph Scott; Guanting Pan; Piyush Jha; Elias B. Khalil; Vijay Ganesh2024
Specifying and Verifying a Real-World Packet Error-Correction SystemJoshua M. Cohen; Andrew W. Appel2024
Formally Verified ZTA Requirements for OT/ICS Environments with Isabelle/HOLYakoub Nemouchi; Sriharsha Etigowni; Alexander Zolan; Richard Macwan2024
Provable Determinism for Software in Cyber-Physical SystemsMarcus Rossel; Shaokai Jerry Lin; Marten Lohstroh; Jeronimo Castrillon; Andres Goens2024



制造业外文文献服务平台