Dependable Software Engineering Theories Tools and Applications 6th International Symposium SETTA 2020 Guangzhou China November 24 27 2020 Proceedings 1st edition by Jun Pang, Lijun Zhang 3030628213 9783030628215

Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings 1st edition by Jun Pang, Lijun Zhang – Ebook PDF Instant Download/DeliveryISBN: 3030628213, 9783030628215 

Full download Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings 1st edition after payment.

Product details:

ISBN-10 :  3030628213 

ISBN-13 :  9783030628215

Author:  Jun Pang, Lijun Zhang 

This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering. 

Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings 1st Table of contents:

1. The Road Ahead for Supervisor Synthesis
2. Reentrancy? Yes. Reentrancy Bug? No.
3. Graph Transformation Systems: A Semantics Based on (Stochastic) Symmetric Nets
4. Modelling and Implementation of Unmanned Aircraft Collision Avoidance
5. Randomized Refinement Checking of Timed I/O Automata
6. Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata
7. Compiling FL on Finite Words
8. Symbolic Model Checking with Sentential Decision Diagrams
9. Probably Approximately Correct Interpolants Generation
10. Symbolic Verification of MPI Programs with Non-deterministic Synchronizations
11. Learning Safe Neural Network Controllers with Barrier Certificates
12. Software Defect-Proneness Prediction with Package Cohesion and Coupling Metrics Based on C

People also search for Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings 1st:

    
dependable system in software engineering
    
dependable process in software engineering
    
master of engineering leadership in dependable software systems
    
software dependability
    
dependability engineering

Tags: Dependable, Software Engineering, Theories, Tools, Applications, International Symposium, Guangzhou, Jun Pang, Lijun Zhang