Omslagsbillede

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers /

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23–24, 2023. The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling,...

Fuld beskrivelse

Saved in:
Bibliografiske detaljer
Institution som forfatter: SpringerLink (Online service)
Andre forfattere: Reynolds, Andrew (Editor), Tasiran, Serdar (Editor)
Format: Electronisk eBog
Sprog:engelsk
Udgivet: Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Udgivelse:1st ed. 2024.
Serier:Lecture Notes in Computer Science, 14095
Fag:
Computer science.
Computers.
Software engineering.
Computer systems.
Computers, Special purpose.
Logic programming.
Computer Science Logic and Foundations of Programming.
Computer Hardware.
Software Engineering.
Computer System Implementation.
Special Purpose and Application-Based Systems.
Logic in AI.
Online adgang:https://doi.org/10.1007/978-3-031-66064-1
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
Indholdsfortegnelse:
  • 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.

Lignende værker