Cover Image
Read Now

Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract 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...

Full description

Bibliographic Details
Other Authors: Enea, Constantin (Editor), Piskac, Ruzica (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2019, 2019
Edition:1st ed. 2019
Series:Theoretical Computer Science and General Issues
Subjects:
Computer Communication Networks
Computer Science Logic And Foundations Of Programming
Software Engineering
Computer Science
Computer Networks 
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02349nmm a2200337 u 4500
001 EB001860455
003 EBX01000000000000001024551
005 00000000000000.0
007 cr|||||||||||||||||||||
008 190201 ||| eng
020 |a 9783030112455 
100 1 |a Enea, Constantin  |e [editor] 
245 0 0 |a Verification, Model Checking, and Abstract Interpretation  |h Elektronische Ressource  |b 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings  |c edited by Constantin Enea, Ruzica Piskac 
250 |a 1st ed. 2019 
260 |a Cham  |b Springer International Publishing  |c 2019, 2019 
300 |a XVII, 602 p. 1329 illus., 69 illus. in color  |b online resource 
505 0 |a 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 -- Hybrid and cyber-physical systems 
653 |a Computer Communication Networks 
653 |a Computer Science Logic and Foundations of Programming 
653 |a Software engineering 
653 |a Computer science 
653 |a Software Engineering 
653 |a Computer networks  
700 1 |a Piskac, Ruzica  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Theoretical Computer Science and General Issues 
028 5 0 |a 10.1007/978-3-030-11245-5 
856 4 0 |u https://doi.org/10.1007/978-3-030-11245-5?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 40,151 
520 |a This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract 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 62 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 

Similar Items