Verified Software. Theories, Tools and Experiments : 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers / / edited by Jonathan Protzenko, Azalea Raad
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Verified Software. Theories, Tools and Experiments : 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers / / edited by Jonathan Protzenko, Azalea Raad
|
| Pubblicazione: | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Edizione: | 1st ed. 2025. |
| Descrizione fisica: | 1 online resource (IX, 121 p. 37 illus., 22 illus. in color.) |
| Disciplina: | 004.0151 |
| Soggetto topico: | 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 | |
| Persona (resp. second.): | ProtzenkoJonathan |
| RaadAzalea | |
| Nota di contenuto: | -- 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. |
| Sommario/riassunto: | 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. |
| Titolo autorizzato: | Verified Software. Theories, Tools and Experiments |
| ISBN: | 3-031-86695-9 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9911001467003321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Computer Science, . 1611-3349 ; ; 15525