Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures

During a pivotal event in Chongqing, experts gathered for the 4th International School on Engineering Trustworthy Software Systems. This collection of tutorial lectures offers a deep dive into contemporary topics that underscore the importance of software reliability and verification. The contributions range from foundational principles of software verification using Whiley to advanced concepts like learning Büchi automata.

The series of lectures is designed to equip participants with both theoretical insights and practical applications, fostering an understanding of how to develop software systems that are not only functional but also trustworthy. By exploring these dynamic areas, the authors aim to guide practitioners and researchers in enhancing the integrity of their software.

As the field of software engineering evolves, the need for robust verification methods becomes increasingly critical. This resource serves as a valuable guide for anyone interested in elevating their knowledge and capabilities in engineering reliable software systems.