Verification, Model Checking, and Abstract Interpretation: 15th International Conference, Vmcai 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Program verification.- Model checking.- Abstract interpretation and abstract domains.- Program synthesis.- Static analysis.- Type systems.- Deductive methods.- Program certification.- Debugging techniques.- Program transformation.- Optimization.- Hybrid and cyber-physical systems.

• Format: Paperback
• Language: English
• ISBN: 3642540120
• ISBN13: 9783642540127
• Release Date: January 2014
• Publisher: Springer
• Length: 493 Pages
• Weight: 1.56 lbs.
• Dimensions: 1.0" x 6.1" x 9.2"