This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engineering Trustworthy Software Systems, SETSS 2024, held in Chongqing, China, in April 14-21, 2024.
The 5 full papers and 2 short papers were carefully reviewed and selected from 7 submissions. The proceedings focuses on
-Preparatory Course: Introduction to Mathematical Logic and Logic of Programming;
-Introduction to Digital Twins
-Theories of Contracts and Their Applications
-From Automata Models to Validated BCI-Based Cooperative Control On the Viability of Rigorous Approaches to Human-Cyber-Physical Systems of Systems; What Came First, Math or Computing?
-What Came First, Math or Computing?
-Software Engineering for Explainable AI
-Distribution Testing: The New Frontier for Formal Methods
SETSS 2024 School.- What Came First, Mathematics or Computing?.- From
Logic to Programming.- Digital Twin Tutorial: The Incubator Case Study.- AI
Components for High Integrity, Safety-Critical Human-Cyber-Physical Systems _
A Challenge for Formal Methods.- Testing and Design of Uniform CNF Samplers:
A Virtuous Cycle Enabled by Distribution Testing.- SETSS 2024 Workshop.-
Software Engineering Experiences of an Optimist.- Automating Component-Based
Embedded Software Construction via Formal Synthesis and LLMs.
Zhiming Liu is a professor at Southwest University, Chongqing, China. His research interests lie in the area of software theory and methods, with a particular focus on the modeling, design, and verfication of software and systems.
