Tests and Proofs

Discover the cutting-edge research presented in Tests and Proofs, authored by Dirk Beyer and published by Springer Nature Switzerland AG in 2019. This comprehensive volume features the refereed proceedings of the 13th International Conference on Tests and Proofs (TAP 2019), which took place during the Third World Congress on Formal Methods in Porto, Portugal, in October 2019.

With a total of 207 pages, this edition showcases 10 regular papers and 2 invited papers, all rigorously reviewed and selected from a competitive pool of 19 submissions. Ideal for researchers and professionals in the field, this book delves into the latest advancements in formal methods, testing, and proofs, making it an essential addition to your academic library.

Enhance your understanding of this evolving field with the insights and findings presented in Tests and Proofs.