Verification Model Checking And Abstract Interpretation 20th International - Springer Nature B.V

This Book Constitutes The Refereed Proceedings Of The 20th International Conference On Verification, Model Checking, And Abstractnbsp;interpretation, Vmcai 2019, Held In Cascais, Portugal, In January 2019. The 27 Full Papers Presented Together With The Abstracts Of 3 Invited Keynote Talks Were Carefully Reviewed And Selected From 62nbsp;submissions. Vmcai Provides Topics Including: Program Verification, Model Checking, Abstract Interpretation, Program Synthesis, Staticnbsp;analysis, Type Systems, Deductive Methods, Program Certification, Decision Procedures, Theorem Proving, Program Certification, Debugging Techniques, Program Transformation, Optimization, And Hybrid And Cyber-physical Systems.