Del 15525 - Lecture Notes in Computer Science

Verified Software. Theories, Tools and Experiments

16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers

Häftad, Engelska, 2025

709 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14–15, 2024. The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book.

Produktinformation

Utgivningsdatum2025-05-03
Mått155 x 235 x 8 mm
Vikt213 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor121
FörlagSpringer International Publishing AG
ISBN9783031866944

Tillhör följande kategorier

.- MoXIchecker: An Extensible Model Checker for MoXI..- Towards Verifying Security Policies for Infinite-State Systems..- Deductive Verification of Sparse Sets in Why3..- PolySAT: Word-level Bit-vector Reasoning in Z3..- Proof-Producing Symbolic Execution for P4..- Statically Inferring Usage Bounds for Infrastructure as Code..- hax: Verifying Security-Critical Rust Software using Multiple Provers.