Nyhet

Engineering Trustworthy Software Systems

7th International School, SETSS 2025, Beijing, China, May 17–23, 2025, Tutorial Lectures

AvJonathan P. Bowen,Andrea Turrini

Häftad, Engelska, 2026

Del i serien Lecture Notes in Computer Science

828 kr

Kommande

Beskrivning

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 oftechniques to achieve this goal, from model checking to simulation testing, from the use of formal methods and contracts to model-based engineering.

Produktinformation

Utgivningsdatum:2026-05-27
Mått:155 x 235 x undefined mm
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:287
Förlag:Springer Verlag, Singapore
ISBN:9789819586165

Utforska kategorier

Mer om författaren

Nnn

Innehållsförteckning

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.