1 option
Engineering trustworthy software systems 7th International School, SETSS 2025, Beijing, China, May 17-23, 2025, Tutorial Lectures Jonathan P. Bowen, Andrea Turrini, editors
Springer Nature - Springer Computer Science eBooks 2026 English International Available online
View online- Format:
- Book
- Conference/Event
- Conference Name:
- SETSS (International school) (7th : 2025 : Beijing, China)
- Series:
- Lecture notes in computer science ; 1611-3349 16481
- Lecture notes in computer science 1611-3349 16481
- Language:
- English
- Subjects (All):
- Software engineering--Congresses.
- Software engineering.
- Computer software--Congresses.
- Computer software.
- Physical Description:
- 1 online resource
- Other Title:
- SETSS 2025
- Tutorial lectures
- Place of Publication:
- Singapore Springer [2026]
- Summary:
- 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
- Contents:
- 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
- Notes:
- Includes author index
- Online resource; title from PDF title page (SpringerLink, viewed May 15, 2026)
- ISBN:
- 9789819586172
- 9819586178
- OCLC:
- 1591608124
- Access Restriction:
- Restricted for use by site license
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.