Tests and Proofs Tests and Proofs

Tests and Proofs

18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings

Marieke Huisman & Falk Howar
    • $119.99
    • $119.99

Publisher Description

​This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods symposium (FM 2024), which included four more co-located conferences besides TAP: FMICS (Formal Methods in Industrial Critical Systems), LOPSTR (In ternational Symposium on Logic-based Program Synthesis and Transformation), PPDP (International Symposium on Principles and Practice of Declarative Pro gramming), and FACS (International Conference on Formal Aspects of Compo nent Software.

The 7 full papers together with 1 short paper included in this volume were carefully reviewed and selected from 14 submissions. TAP’s scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research.

GENRE
Nonfiction
RELEASED
2024
September 9
LANGUAGE
EN
English
LENGTH
191
Pages
PUBLISHER
Springer Nature Switzerland
SELLER
Springer Nature B.V.
SIZE
10.7
MB

More Books by Marieke Huisman & Falk Howar

Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
2018
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
2018
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
2019
Concise Guide to Software Verification Concise Guide to Software Verification
Concise Guide to Software Verification
2023
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
2023
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2022