Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, Setta 2020, Guangzhou, China, November 24-27, 2020, P

ISBN-13: 9783030628215 / Angielski / Miękka / 2020 / 203 str.

Jun Pang; Lijun Zhang

Spis treści

The Road Ahead for Supervisor Synthesis.- Reentrancy? Yes. Reentrancy bug? No.- Graph Transformation Systems: a Semantics Based on (Stochastic) Symmetric Nets.- Modelling and Implementation of Unmanned Aircraft Collision Avoidance.- Randomized Re nement Checking of Timed I/O Automata.- Computing Linear Arithmetic Representation for Reachability Relation of One-counter Automata.- Compiling FL^ on Finite Words.- Symbolic Model Checking with Sentential Decision Diagrams.- Probably Approximately Correct Interpolants Generation.- Symbolic Verification of MPI Programs with Non-deterministic Synchronizations.- Learning Safe Neural Network Controllers with Barrier Certificates.- Software Defect-proneness Prediction Based on Package Cohesion and Coupling Metrics.