Imagem da capa

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers /

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. The confe...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor Corporativo: SpringerLink (Online service)
Outros Autores: Protzenko, Jonathan (Editor), Raad, Azalea (Editor)
Formato: Recurso Electrónico livro electrónico
Idioma:inglês
Publicado em: Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edição:1st ed. 2025.
Colecção:Lecture Notes in Computer Science, 15525
Assuntos:
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.
Acesso em linha:https://doi.org/10.1007/978-3-031-86695-1
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
Sumário:
  • -- 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.

Registos relacionados