Verification, Model Checking, and Abstract Interpretation

Released on by Isil Dillig
preview-18

  • Verification, Model Checking, and Abstract Interpretation Book Detail

  • Author : Isil Dillig
  • Release Date : 2018-01-03
  • Publisher : Springer
  • Genre : Computers
  • Pages : 554
  • ISBN 13 : 331973721X
  • File Size : 7,7 MB
DOWNLOAD BOOK

Verification, Model Checking, and Abstract Interpretation by Isil Dillig PDF Summary

Book Description: This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018.The 24 full papers presented together with the abstracts of 3 invited keynotes and 1 invited tutorial were carefully reviewed and selected from 43 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

Disclaimer: www.yourbookbest.com does not own Verification, Model Checking, and Abstract Interpretation books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.