Theoretical Aspects of Software Engineering

17th International Symposium, TASE 2023, Bristol, UK, July 4¿6, 2023, Proceedings
Herausgegeben:David, Cristina; Sun, Meng

• Broschiertes Buch

Produktbeschreibung

This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4-6, 2023.
The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; and AI for formal methods.

Produktdetails

• Lecture Notes in Computer Science 13931
• Verlag: Springer / Springer Nature Switzerland / Springer, Berlin
• Artikelnr. des Verlages: 978-3-031-35256-0
• 1st ed. 2023
• Seitenzahl: 376
• Erscheinungstermin: 28. Juni 2023
• Englisch
• Abmessung: 235mm x 155mm x 21mm
• Gewicht: 569g
• ISBN-13: 9783031352560
• ISBN-10: 3031352564
• Artikelnr.: 68003470

Inhaltsangabe

Systems with Runtime Assurance Architectures.- Continuation-Passing Style into Static Single Assignment Form.- Framework based on Reinforcement Learning.- Decomposing Synthesized Strategies for Reactive Multi-agent Reinforcement Learning.- Based Embedded Software Design.- Probabilistic Contracts Using Timed Automata.- Asynchronous test equivalence over timed processes.- Protocol Conformance with Choreographic PlusCal.- Verifying Chips Design at RTL Level.- Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks.- A hierarchical spatial logic for knowledge sharing and fusion in intelligent connected vehicle cooperation.- VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects.- Identifying Minimal Changes in the Zone Abstract Domain.- idDL2DL - Interval syntax to DL.- Safety Verification for Neural Networks Based on Set-boundary Analysis.- Approximately learning quantum automata.- View-Based Axiomatic Reasoning for PSO.- Resource Sensitive Workflow Models.- MTCD: An Efficient Cloning Detection Technique Based on Method Table.- Stepwise development of paraconsistent processes.- Detecting API-Misuse based on Pattern Mining via API Usage Graph with Parameters.