Omslagsbillede

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

Fuld beskrivelse

Saved in:
Bibliografiske detaljer
Institution som forfatter: SpringerLink (Online service)
Andre forfattere: Protzenko, Jonathan (Editor), Raad, Azalea (Editor)
Format: Electronisk eBog
Sprog:engelsk
Udgivet: Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Udgivelse:1st ed. 2025.
Serier:Lecture Notes in Computer Science, 15525
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-86695-1
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
Beskrivelse
Summary: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 conference received 6 submissions this year. The papers deal with the interaction of theory development, tool evolution and experimental validation in science and technology of software verification.
Fysisk beskrivelse:IX, 121 p. 37 illus., 22 illus. in color. online resource.
ISBN:9783031866951
ISSN:1611-3349 ;
DOI:10.1007/978-3-031-86695-1

Lignende værker