长垣产业园区科技文献服务平台 | cy.gmachineinfo.com

会议文集

文集名	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 Selection	Konstantin I. Britikov; Antti E. J. Hyvarinen; Natasha Sharygina	2024
Safety Performance of Neural Networks in the Presence of Covariate Shift	Chih-Hong Cheng; Harald Ruess; Konstantinos Theodorou	2024
Pierce: A Testing Tool for Neural Network Verification Solvers	Joseph Scott; Guanting Pan; Piyush Jha; Elias B. Khalil; Vijay Ganesh	2024
Specifying and Verifying a Real-World Packet Error-Correction System	Joshua M. Cohen; Andrew W. Appel	2024
Formally Verified ZTA Requirements for OT/ICS Environments with Isabelle/HOL	Yakoub Nemouchi; Sriharsha Etigowni; Alexander Zolan; Richard Macwan	2024
Provable Determinism for Software in Cyber-Physical Systems	Marcus Rossel; Shaokai Jerry Lin; Marten Lohstroh; Jeronimo Castrillon; Andres Goens	2024