Engineering Trustworthy Software Systems

7th International School, SETSS 2025, Beijing, China, May 17-23, 2025, Tutorial Lectures
Erscheinungsjahr 2026
ISBN: 978-981-958616-5
Verlag: Springer

Buch, Englisch, Band 16481, 287 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 470 g

Reihe: Lecture Notes in Computer Science

This book LNCS 16481 constitutes the refereed proceedings of the 7th International School on Engineering Trustworthy Software Systems, SETSS 2025, held in Beijing, China, in May 17–23, 2025.

The 7 full papers were carefully reviewed and selected from 8 submissions. The proceedings focuses on lectures given during SETSS covered an ample variety of
techniques to achieve this goal, from model checking to simulation testing, from the use of formal methods and contracts to model-based engineering. 

Zielgruppe

Research

Autoren/Hrsg.

Bowen, Jonathan P.

Turrini, Andrea

Fachgebiete

• Mathematik | Informatik EDV | Informatik Technische Informatik Netzwerk-Hardware
• Mathematik | Informatik EDV | Informatik Informatik Natürliche Sprachen & Maschinelle Übersetzung
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering
• Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz

Inhaltsverzeichnis

Tutorials from China.- More Paradigms of SAT Solvers: Circuit-SAT, FPGA-based SAT, LLM-based SAT.- Simulation Testing of Autonomous Driving Systems based on Safety-Critical Scenario Generation.- Formal Verification of Neural Network-Controlled Systems via Proof Certificates.- Tutorials from Europe.- Foundations of Hardware-Software Leakage Contracts.- Engineering Safe Robotics Software from Simulation Models via RoboSim.- Model Checking, Performance Analysis, Synthesis and Learning for Cyber Physical Systems.- Tutorial from America.- Building Safe Autonomous Systems Using Imperfect Components.

Über Autor(innen)

Jonathan P. Bowen is an Emeritus Professor of Computing at London South Bank University, UK, an adjunct professor at Southwest University, Chongqing, China, and Chairman of Museophile Limited. His career spans academia and industry, with extensive contributions to formal methods, safety-critical systems, and the history of computing.

Andrea Turrini is a researcher at the Institute of Software, Chinese Academy of Sciences, Beijing, China. His research interests lie in the area of formal methods, with a particular focus on modeling and verification of uncertain systems.