Computer Aided Verification 32nd International Conference CAV 2020 Los Angeles CA USA July 21 24 2020 Proceedings Part II 1st Edition by Shuvendu K Lahiri, Chao Wang ISBN 9783030532901 3030532909

Computer Aided Verification 32nd International Conference CAV 2020 Los Angeles CA USA July 21 24 2020 Proceedings Part II 1st Edition by Shuvendu K. Lahiri,  Chao Wang – Ebook PDF Instant Download/Delivery:  9783030532901, 3030532909

Full download Computer Aided Verification 32nd International Conference CAV 2020 Los Angeles CA USA July 21 24 2020 Proceedings Part II 1st Edition after payment

Product details:

ISBN 10:   3030532909

ISBN 13: 9783030532901

Author:  Shuvendu K. Lahiri,  Chao Wang 

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*

The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections:

Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems.

Part II: model checking; software verification; stochastic systems; and synthesis.

*The conference was held virtually due to the COVID-19 pandemic.

Table of contents: 

1. Automata Tutor v3

2. Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization

3. RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft

4. Realizing ω-regular Hyperproperties

5. AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL

6. Action-Based Model Checking: Logic, Automata, and Reduction

7. Global Guidance for Local Generalization in Model Checking

8. Towards Model Checking Real-World Software-Defined Networks

9. Code2Inv: A Deep Learning Framework for Program Verification

10. MetaVal: Witness Validation via Verification

11. Recursive Data Structures in SPARK

12. Ivy: A Multi-modal Verification Tool for Distributed Algorithms

13. Reasoning over Permissions Regions in Concurrent Separation Logic

14. Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic

15. Maximum Causal Entropy Specification Inference from Demonstrations

16. Certifying Certainty and Uncertainty in Approximate Membership Query Structures

17. Global PAC Bounds for Learning Discrete Time Markov Chains

18. Unbounded-Time Safety Verification of Stochastic Differential Dynamics

19. Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games

20. Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling

21. Stochastic Games with Lexicographic Reachability-Safety Objectives

22. Qualitative Controller Synthesis for Consumption Markov Decision Processes

23. STMC: Statistical Model Checker with Stratified and Antithetic Sampling

24. AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems

25. PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time

26. Optimistic Value Iteration

27. PrIC3: Property Directed Reachability for MDPs

28. Good-Enough Synthesis

29. Synthesizing JIT Compilers for In-Kernel DSLs

30. Program Synthesis Using Deduction-Guided Reinforcement Learning

31. Manthan: A Data-Driven Approach for Boolean Function Synthesis

32. Decidable Synthesis of Programs with Uninterpreted Functions

33. Must Fault Localization for Program Repair

People also search for:

 international conference on computer aided verification
    
cav computer aided verification
    
international conference on computer aided verification 2024
    
international conference on computer aided verification 2025
    
creo computer aided verification extension

Tags: Shuvendu K Lahiri, Chao Wang, Computer, Aided, Verification, International Conference, Los Angeles, Proceedings