Verified Software. Theories, Tools and Experiments
portes grátis
Verified Software. Theories, Tools and Experiments
15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
Reynolds, Andrew; Tasiran, Serdar
Springer International Publishing AG
07/2024
109
Mole
9783031660634
15 a 20 dias
Descrição não disponível.
Picky CDCL: SMT-solving With Flexible Literal Selection.- Safety Performance of Neural Networks in the Presence of Covariate Shift.- Pierce: A Testing Tool for Neural Network Verification Solvers.- Specifying and Verifying a Real-World Packet Error-Correction System.- Formally Verified ZTA Requirements for OT/ICS Environments with Isabelle/HOL.- Provable Determinism for Software in Cyber-Physical Systems.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Software Verification;Verification Theory;Automated Reasoning;Verification Tools;Software Verification Experiments
Picky CDCL: SMT-solving With Flexible Literal Selection.- Safety Performance of Neural Networks in the Presence of Covariate Shift.- Pierce: A Testing Tool for Neural Network Verification Solvers.- Specifying and Verifying a Real-World Packet Error-Correction System.- Formally Verified ZTA Requirements for OT/ICS Environments with Isabelle/HOL.- Provable Determinism for Software in Cyber-Physical Systems.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.